Unification & Sharing in Timed Automata Verification.
Alexandre DavidGerd BehrmannKim Guldstrand LarsenWang YiPublished in: SPIN (2003)
Keyphrases
- timed automata
- model checking
- theorem prover
- reachability analysis
- theorem proving
- temporal logic
- formal verification
- verification method
- higher order
- information sharing
- concurrent systems
- first order logic
- data sharing
- automated theorem proving
- asynchronous circuits
- formal methods
- data sets
- share information
- multiple users
- face verification
- inference rules
- distributed systems
- bayesian networks
- artificial intelligence