IF-2.0: A validation environment for component-based real-time systems

DOI10.1007/3-540-45657-0_26MaRDI QIDQ4806206zbMATH OpenFDO

Authors Marius Bozga, Susanne Graf, Laurent Mounier

Publication date 21 May 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45657-0_26

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Formal Methods for the Design of Real-Time Systems
• Model Checking Software
• Term validation of distributed hard real-time applications
• scientific article; zbMATH DE number 1931058
• TAXYS: A tool for the development and verification of real-time embedded systems

Cited in

(14)

• IF-2.0
• Bounded determinization of timed automata with silent transitions
• Scaling up livelock verification for network-on-chip routing algorithms
• Scheduling with timed automata
• Dynamic and formal verification of embedded systems: A comparative survey
• Language-oriented formal analysis: a case study on protocols and distributed systems
• Performance evaluation of schedulers in a probabilistic setting
• Approximating Continuous Systems by Timed Automata
• The Unmet Challenge of Timed Systems
• Model Checking Software
• Formal Methods for the Design of Real-Time Systems
• Translating FSP into LOTOS and networks of automata
• Translating Java for multiple model checkers: The Bandera back-end
• Detecting synchronisation of biological oscillators by model checking

Describes a project that uses

Uses Software

• Java PathFinder

This page was built for publication: IF-2.0: A validation environment for component-based real-time systems

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