Decomposing Verification of Timed I/O Automata.
Dilsun Kirli KaynarNancy A. LynchPublished in: FORMATS/FTRTFT (2004)
Keyphrases
- timed automata
- model checking
- finite state machines
- temporal logic
- colored petri nets
- input output
- verification method
- petri net
- formal verification
- cellular automata
- finite state
- functional verification
- face verification
- formal methods
- signature verification
- file system
- dynamic systems
- data transfer
- simulation model
- spatial join
- finite automata
- main memory
- markov chain
- false acceptance rate
- case study
- probabilistic automata
- information systems