Formal Modeling and Analysis of Timed Systems
From MaRDI portal
Publication:5897957
DOI10.1007/11603009zbMath1175.68258OpenAlexW2493457341MaRDI QIDQ5897957
Publication date: 14 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11603009
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems, Using Bounded Model Checking to Verify Consensus Algorithms, Verification of consensus algorithms using satisfiability solving, Geometric computations by broadcasting automata
Uses Software