Frontiers of Combining Systems

DOI10.1007/11559306MaRDI QIDQ5491907zbMATH OpenOpenAlexFDO

Authors Sergey Tverdyshev

Publication date 10 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11559306

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Integration of a Software Model Checker into Isabelle
• Automatic proof and disproof in Isabelle/HOL
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 1852162
• scientific article; zbMATH DE number 139822

Cited in

(2)

• Structuring and automating hardware proofs in a higher-order theorem- proving environment
• Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL

Describes a project that uses

Uses Software

• Isabelle/HOL
• Isabelle
• Cadence SMV
• NuSMV
• SPASS

This page was built for publication: Frontiers of Combining Systems

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