Verification of Timed Asynchronous Programs.
Parosh Aziz AbdullaMohamed Faouzi AtigShankara Narayanan KrishnaShaan VaidyaPublished in: FSTTCS (2018)
Keyphrases
- asynchronous circuits
- petri net
- model checking
- symbolic execution
- finite state machines
- verification method
- hardware designs
- java bytecode
- timed automata
- delay insensitive
- state machines
- control structures
- discrete event
- functional verification
- asynchronous communication
- automatic programming
- intermediate level
- formal verification
- database
- control flow
- fixpoint
- face verification
- computer programs
- answer sets
- logic programs
- face recognition
- database systems
- search engine
- learning algorithm