scientific article; zbMATH DE number 1746646
From MaRDI portal
Publication:4530805
zbMATH Open0986.68520MaRDI QIDQ4530805FDOQ4530805
Authors: John Rushby 
Publication date: 9 June 2002
Title of this publication is not available (Why is that?)
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Automated Technology for Verification and Analysis
- Title not available (Why is that?)
- 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)
