Formal verification of timed synchronous dataflow graphs using Lustre.
Imed Eddine BennourPublished in: J. Log. Algebraic Methods Program. (2021)
Keyphrases
- formal verification
- model checking
- graph transformation
- timed automata
- petri net
- model checker
- bounded model checking
- automated verification
- symbolic model checking
- program slicing
- finite state machines
- temporal logic
- graph matching
- data flow
- database machine
- asynchronous communication
- graph theory
- design methodology
- parallel computing
- mathematical morphology
- directed graph
- artificial intelligence