Symbolic model checking of actor-oriented high-level SystemC models with interval diagrams

MaRDI QIDQ3528915zbMATH OpenFDO

Authors Jens Gladigau, Frank Blendinger, Christian Haubelt, Jürgen Teich

Publication date 17 October 2008

zbMATH Keywords

embedded systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)

Recommendations

• Publication:4509910
• scientific article; zbMATH DE number 1633145
• Automated Technology for Verification and Analysis
• Symbolic model checking: \(10^{20}\) states and beyond
• Symbolic model checking with rich assertional languages

Cited in

(1)

• SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication

Describes a project that uses

Uses Software

• NuSMV
• SystemC

This page was built for publication: Symbolic model checking of actor-oriented high-level SystemC models with interval diagrams

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