A compositional behavioral modeling framework for embedded system design and conformance checking

DOI10.1007/s10766-005-8907-yzbMath1100.68070OpenAlexW2034422907WikidataQ57526663 ScholiaQ57526663MaRDI QIDQ2506261

Paul Le Guernic, Rajesh Kumar Gupta, Sandeep Kumar Shukla, Jean-Pierre Talpin

Publication date: 28 September 2006

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10766-005-8907-y

zbMATH Keywords

verificationformal methodsprogram transformationmodels of computationEmbedded system design

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• veriSoft
• SIGNAL
• BLAST
• Bandera
• CBMC
• Polychrony

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Static Analysis

This page was built for publication: A compositional behavioral modeling framework for embedded system design and conformance checking