Kronos
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- M-nets: a survey
- Timed verification of the generic architecture of a memory circuit using parametric timed automata
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- A quadratic-time DBM-based successor algorithm for checking timed automata
- Event-clock automata: a determinizable class of timed automata
- DDDLIB
- Verification of logic controllers for continuous plants using timed condition/event-system models
- IMITATOR
- ObjectCheck
- Romeo
- SENAC
- SIGREF
- TAPAAL
- A compared study of two correctness proofs for the standardized algorithm of ABR conformance
- A Ravenscar-compliant run-time kernel for safety-critical systems
- How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study
- The power of reachability testing for timed automata
- CPN/Tools
- Generalized discrete timed automata: Decidable approximations for safety verification.
- Pushdown timed automata: A binary reachability characterization and safety verification.
- Rabbit
- TREX
- TAXYS
- Moby/DC
- TIMES
- MoDeST
- Uppaal2k
- Design/CPN
- StonyCam
- ToolBus
- TAPS
- BISIMULATOR
- M-TREE
- ASTRAL
- AGATHA
- LOTOS
- MOTOR
- E-LOTOS
- TINA
- IF-2.0
- Deductive verification of real-time systems using STeP
- PLC-automata: A new class of implementable real-time automata
- SPIN
- Automatic verification of real-time systems with discrete probability distributions.
- Specification of real-time and hybrid systems in rewriting logic
- HyTech
- Maria
- MRMC
- GEZEL
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
- RSOLVER
- PetriNets
- Punf
- Uppaal
- Cheddar
- Bounded determinization of timed automata with silent transitions
- CADP
- DREAM Tool
- Decidable integration graphs.
- Continuous modeling of real-time and hybrid systems: From concepts to tools
- Real-time system = discrete system + clock variables
- Is your model checker on time? On the complexity of model checking for timed modal logics
- Symbolic model checking of timed guarded commands using difference decision diagrams
- Automated verification of an audio-control protocol using UPPAAL
- Linear parametric model checking of timed automata
- Presburger liveness verification of discrete timed automata.
- Forward analysis of updatable timed automata
- Comparing model checking and logical reasoning for real-time systems
- Updatable timed automata
- On reachability and minimum cost optimal control
- Efficient model-checking of dense-time systems with time-convexity analysis
- Model-checking timed automata with deadlines with Uppaal
- HSolver
- Ptolemy
- Superposition as a decision procedure for timed automata
- Oris
- Exp.Open
- Augur 2
- CESAR
- Giotto
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- M-nets
- Rebeca
- Verics
- Ymer
- vUML
- UMDES
- HeerHugo
- Petrify
- TVT
- McAiT
- SCOOT
- Pinapa
- RAVEN
- ZenoTool
- Casaal
- CAESAR_SOLVE
- Reachability relations of timed pushdown automata
- d/dt
This page was built for software: Kronos
