ASTRAL
From MaRDI portal
Software:15416
No author found.
Related Items (15)
Presburger liveness verification of discrete timed automata. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Generalized discrete timed automata: Decidable approximations for safety verification. ⋮ Pushdown timed automata: A binary reachability characterization and safety verification. ⋮ Past pushdown timed automata and safety verification. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Logic control and ``reactive systems: algorithmization and programming ⋮ Dealing with zero-time transitions in axiom systems. ⋮ Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach ⋮ Requirements specifications checking of embedded real time software ⋮ Proof assistance for real-time systems using an interactive theorem prover ⋮ Static analysis of real-time component-based systems configurations
This page was built for software: ASTRAL
