Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?
Patricia Bouyer, Paul Gastin, Frédéric Herbreteau, Ocan Sankur, B. Srivathsan
Topics & Concepts
LivenessComputer scienceReachabilityAutomatonTimed automatonModel checkingTree traversalRepresentation (politics)Theoretical computer scienceState spaceState (computer science)Finite-state machineAlgorithmMathematicsLawPolitical sciencePoliticsStatisticsFormal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques