scientific article; zbMATH DE number 1852158

MaRDI QIDQ4787228zbMATH OpenFDO

Authors K. L. McMillan

Publication date 9 January 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2144/21440179

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• An automatic proving approach to parameterized verification
• Formal Methods in Computer-Aided Design
• scientific article; zbMATH DE number 1670768
• ParaVerifier: an automatic framework for proving parameterized cache coherence protocols
• scientific article; zbMATH DE number 1830911

Cited in

(15)

• Parameterized synthesis of self-stabilizing protocols in symmetric networks
• Chosen-ciphertext security from subset sum
• Verification of AMBA using a combination of model checking and theorem proving
• Model checking parameterized systems
• An abstraction technique for parameterized model checking of leader election protocols: application to FTSP
• scientific article; zbMATH DE number 177247 (Why is no real title available?)
• Projection approaches to process mining using region-based techniques
• An automatic proving approach to parameterized verification
• scientific article; zbMATH DE number 1830911 (Why is no real title available?)
• Tutorial on parameterized model checking of fault-tolerant distributed algorithms
• Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
• Verification, Model Checking, and Abstract Interpretation
• Synthesizing history and prophecy variables for symbolic model checking
• Parameterized model-checking of discrete-timed networks and symmetric-broadcast systems
• Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols

Describes a project that uses

Uses Software

• PVS

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 Q4787228)