Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System.
Filipe MoutinhoLuís GomesPaulo E. S. BarbosaJoão Paulo BarrosFranklin RamalhoJorge FigueiredoAnikó CostaAndré MonteiroPublished in: DoCEIS (2011)
Keyphrases
- asynchronous circuits
- asynchronous communication
- formal verification
- formal methods
- delay insensitive
- protocol specification
- model checking
- state machines
- high level
- information systems
- formal specification
- specification language
- formal analysis
- linear temporal logic
- colored petri nets
- verification method
- globally consistent
- database
- decision trees
- artificial intelligence
- genetic algorithm
- machine learning
- data sets