Generating model checkers from algebraic specifications

DOI10.1023/A:1014742013173zbMath1017.68070MaRDI QIDQ1600653

Teodor Rus, Eric Van Wyk, Thomas 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)

Related Items (2)

Specification languages in algebraic compilers ⋮ A unified language processing methodology

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