Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
From MaRDI portal
Publication:5464752
DOI10.1007/b100824zbMath1109.68513OpenAlexW4206454994MaRDI QIDQ5464752
Peter Niebert, Eugene Asarin, Oded Maler, Scott Cotton
Publication date: 19 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100824
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Empirical analysis of algorithms for the shortest negative cost cycle problem, Model Checking Real-Time Systems, Optimal length resolution refutations of difference constraint systems, The SAT-based approach to separation logic, M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures, An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty, Randomized algorithms for finding the shortest negative cost cycle in networks, Unit read-once refutations for systems of difference constraints, Efficient theory combination via Boolean search, Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates, On the parametrized complexity of Read-once refutations in UTVPI+ constraint systems, Analyzing unit read-once refutations in difference constraint systems
Uses Software