Verification of Timed Erlang Programs Using McErlang.
Clara Benac EarleLars-Åke FredlundPublished in: FMOODS/FORTE (2012)
Keyphrases
- model checking
- petri net
- symbolic execution
- hardware designs
- timed automata
- finite state machines
- colored petri nets
- neural network
- machine learning
- verification method
- real time
- asynchronous circuits
- intermediate level
- programming environment
- formal analysis
- computer programs
- control flow
- signature verification
- formal verification
- test generation
- person identification
- face verification
- object oriented
- multi agent systems
- java bytecode
- database