scientific article; zbMATH DE number 1905116
From MaRDI portal
Publication:4806206
zbMath1010.68751MaRDI QIDQ4806206
Marius Bozga, Susanne Graf, Laurent Mounier
Publication date: 21 May 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items
Scheduling with timed automata ⋮ Performance Evaluation of Schedulers in a Probabilistic Setting ⋮ Scaling up livelock verification for network-on-chip routing algorithms ⋮ Translating FSP into LOTOS and networks of automata ⋮ Approximating Continuous Systems by Timed Automata ⋮ Bounded determinization of timed automata with silent transitions ⋮ The Unmet Challenge of Timed Systems ⋮ Detecting synchronisation of biological oscillators by model checking ⋮ Dynamic and formal verification of embedded systems: A comparative survey ⋮ IF-2.0 ⋮ Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems ⋮ Translating Java for multiple model checkers: The Bandera back-end
Uses Software
