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

zbMATH Open1160.68329MaRDI QIDQ3528915FDOQ3528915

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

Publication date: 17 October 2008

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

zbMATH Keywords

embedded systems

Mathematics Subject Classification ID

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

Cited In (1)

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

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)