UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

2003

Volltextzugriff (PDF)

Deeply Integrating C11 Code Support into Isabelle/PIDE

Electronic proceedings in theoretical computer science, 2019, Vol.310 (Proc. F-IDE 2019), p.13-28

2019

Volltextzugriff (PDF)

Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

2011

Volltextzugriff (PDF)

Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

1st ed. 2018., 2018

Volltextzugriff (PDF)

Modeling and analysing Cyber–Physical Systems in HOL-CSP

Robotics and autonomous systems, 2023-12, Vol.170, p.104549, Article 104549

2023

Volltextzugriff (PDF)

Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

1, 2011

Volltextzugriff (PDF)

Testing Software and Systems: 23rd IFIP WG 6. 1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

1, 2011

Volltextzugriff (PDF)

Isabelle/PIDE as Platform for Educational Tools

Electronic proceedings in theoretical computer science, 2012-02, Vol.79 (Proc. THedu 2011), p.143-153

2012

Volltextzugriff (PDF)

Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings

2011

Volltextzugriff (PDF)

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

2013

Volltextzugriff (PDF)

Tests from Witnesses: Execution-Based Validation of Verification Results

Tests and Proofs, p.3-23

Volltextzugriff (PDF)

Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

2018

Volltextzugriff (PDF)

Using the Isabelle Ontology Framework: Linking the Formal with the Informal

Intelligent Computer Mathematics, 2018, p.23-38

2018

Volltextzugriff (PDF)

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

1, 2013

Volltextzugriff (PDF)

Philosophers May Dine - Definitively

Integrated Formal Methods, 2020, Vol.12546, p.419-439

2020

Volltextzugriff (PDF)

Isabelle/DOF: Design and Implementation

Software Engineering and Formal Methods, p.275-292

Volltextzugriff (PDF)

Using Ontologies in Formal Developments Targeting Certification

Integrated Formal Methods, p.65-82

Volltextzugriff (PDF)

Event-B as DSL in Isabelle and HOL Experiences from a Prototype

Rigorous State-Based Methods, p.241-247

Volltextzugriff (PDF)

On theorem prover-based testing

Formal aspects of computing, 2013-09, Vol.25 (5), p.683-721

2013

Volltextzugriff (PDF)

Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report

Tests and Proofs, p.139-156

Volltextzugriff (PDF)

Using Deep Ontologies in Formal Software Engineering

Rigorous State-Based Methods, p.15-32

Volltextzugriff (PDF)

Static and Dynamic Verification of Relational Properties on Self-composed C Code

Tests and Proofs, p.44-62

Volltextzugriff (PDF)

Verification Coverage for Combining Test and Proof

Tests and Proofs, p.120-138

Volltextzugriff (PDF)

Ghosts for Lists: From Axiomatic to Executable Specifications

Tests and Proofs, p.177-184

Volltextzugriff (PDF)

Formal firewall conformance testing: an application of test and proof techniques: FORMAL FIREWALL CONFORMANCE TESTING

Software testing, verification & reliability, 2015-01, Vol.25 (1), p.34-71

2015

Volltextzugriff (PDF)

1 – 25 von 228

Suche als RSS-Feed

Aktive Filter

PublikationsformDatensätze

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(145)
Mit Volltextzugriff
(226)

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

Englisch
(228)

Erscheinungsjahr

n.n

Menü

Weitere Dienste

Einstellungen

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings

Deeply Integrating C11 Code Support into Isabelle/PIDE

Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Modeling and analysing Cyber–Physical Systems in HOL-CSP

Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

Testing Software and Systems: 23rd IFIP WG 6. 1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

Isabelle/PIDE as Platform for Educational Tools

Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Tests from Witnesses: Execution-Based Validation of Verification Results

Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Using the Isabelle Ontology Framework: Linking the Formal with the Informal

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Philosophers May Dine - Definitively

Isabelle/DOF: Design and Implementation

Using Ontologies in Formal Developments Targeting Certification

Event-B as DSL in Isabelle and HOL Experiences from a Prototype

On theorem prover-based testing

Detection of Security Vulnerabilities in C Code Using Runtime Verification: An Experience Report

Using Deep Ontologies in Formal Software Engineering

Static and Dynamic Verification of Relational Properties on Self-composed C Code

Verification Coverage for Combining Test and Proof

Ghosts for Lists: From Axiomatic to Executable Specifications

Formal firewall conformance testing: an application of test and proof techniques: FORMAL FIREWALL CONFORMANCE TESTING

Aktive Filter

Suchergebnisse filtern