Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems

DOI10.1007/11901914_38zbMath1161.68585OpenAlexW1793318143MaRDI QIDQ3522934

T. John Koo, Hang Su, Graham Hemingway, Kai Chen

Publication date: 4 September 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11901914_38

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• ReachLab

This page was built for publication: Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems