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 (12)
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
This page was built for publication: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
