UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata.
Reza HajisheykhiAli EbnenasirSandeep S. KulkarniPublished in: NFM (2015)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- first order logic
- theorem proving
- real time
- fault diagnosis
- temporal logic
- real time systems
- modeling framework
- software tools
- control system
- neural network
- database
- formal specification
- software engineering
- machine learning
- multiagent based simulation