Compositional reactive semantics of SystemC and verification with RuleBase

DOI10.1007/978-1-4020-6254-4_18zbMATH Open1209.68537OpenAlexW131057313MaRDI QIDQ3564035FDOQ3564035

Authors: Frederic Doucet, Rajesh K. Gupta, Ingolf H. Krüger, R. K. Shyamasundar 

Publication date: 2 June 2010

Published in: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-6254-4_18

Recommendations

• Compositional Semantics of System-Level Designs Written in SystemC
• A framework for the functional verification of SystemC models
• Automated Technology for Verification and Analysis
• Optimized temporal monitors for SystemcC
• RTL verification of timed asynchronous and heterogeneous systems using symbolic model checking

zbMATH Keywords

behavioral semantics of SystemCcentral locking system

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• A Compositional Semantics of Reaction Systems with Restriction
• Compositional Semantics of System-Level Designs Written in SystemC

Uses Software

• SystemC
• LusSy

This page was built for publication: Compositional reactive semantics of SystemC and verification with RuleBase

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