scientific article; zbMATH DE number 1746646

MaRDI QIDQ4530805zbMATH OpenFDO

Authors John Rushby

Publication date 9 June 2002

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 1088222
• scientific article; zbMATH DE number 2177632
• Pervasive parallelism in highly-trustable interactive theorem proving systems
• Overview on mechanized theorem proving

Cited in

(17)

• Overview on mechanized theorem proving
• Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
• Pervasive parallelism in highly-trustable interactive theorem proving systems
• scientific article; zbMATH DE number 4076679 (Why is no real title available?)
• scientific article; zbMATH DE number 2177632 (Why is no real title available?)
• Testing a saturation-based theorem prover: experiences and challenges
• Theorem prover approach to semistructured data design
• Understanding parameters of deductive verification: an empirical investigation of KeY
• Challenges and experiences in managing large-scale proofs
• Logics in Artificial Intelligence
• Mechanical software verification: high level control aspects from a user's perspective
• Theorem proving guided development of formal assertions in a resource-constrained scheduler for high-level synthesis
• scientific article; zbMATH DE number 4133524 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• Theorem proving using lazy proof explication.
• How to avoid the formal verification of a theorem prover
• Verifying B proof rules using deep embedding and automated theorem proving

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530805)