ASTRAL
From MaRDI portal
Software:15416
swMATH2878MaRDI QIDQ15416FDOQ15416
Author name not available (Why is that?)
Cited In (15)
- 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
- Logic control and ``reactive systems: algorithmization and programming
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
- Pushdown timed automata: A binary reachability characterization and safety verification.
- Past pushdown timed automata and safety verification.
- Dealing with zero-time transitions in axiom systems.
- Presburger liveness verification of discrete timed automata.
- Generalized discrete timed automata: Decidable approximations for safety verification.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for software: ASTRAL
