Generating model checkers from algebraic specifications

DOI10.1023/A:1014742013173MaRDI QIDQ1600653zbMATH OpenFDO

Authors Teodor Rus, Eric Van Wyk, Tom Halverson

Publication date 16 June 2002

Published in Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

algebraic compiler generation toolsmodel checking algorithms

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• An algebraic specification for CTL with time constraints
• scientific article; zbMATH DE number 5181785
• scientific article; zbMATH DE number 910719
• Symbolic model checking: \(10^{20}\) states and beyond
• scientific article; zbMATH DE number 2081113

Cited in

(8)

• scientific article; zbMATH DE number 1693485 (Why is no real title available?)
• An algebraic specification for CTL with time constraints
• Specification languages in algebraic compilers
• Generating data flow analysis algorithms from modal specifications
• Verification, Model Checking, and Abstract Interpretation
• A unified language processing methodology
• AlPiNA: A Symbolic Model Checker
• scientific article; zbMATH DE number 5181785 (Why is no real title available?)

This page was built for publication: Generating model checkers from algebraic specifications

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