Generating model checkers from algebraic specifications

DOI10.1023/A:1014742013173zbMATH Open1017.68070MaRDI QIDQ1600653FDOQ1600653

Tom Halverson, Teodor Rus, Eric Van Wyk

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)

Cited In (6)

• A unified language processing methodology
• Specification languages in algebraic compilers
• Generating data flow analysis algorithms from modal specifications
• AlPiNA: A Symbolic Model Checker
• Title not available (Why is that?)
• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Symbolic model checking: \(10^{20}\) states and beyond 👍 👎
• Title not available (Why is that?) 👍 👎

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)