Verification of Printer Datapaths Using Timed Automata.
Georgeta IgnaFrits W. VaandragerPublished in: ISoLA (2) (2010)
Keyphrases
- timed automata
- model checking
- reachability analysis
- temporal logic
- formal verification
- verification method
- theorem prover
- concurrent systems
- asynchronous circuits
- formal methods
- high quality
- website
- theorem proving
- real time
- learning algorithm
- formal analysis
- first order logic
- face detection
- digital images
- information systems
- information retrieval
- databases