Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs.
Khalil EsperStefan WildermannJürgen TeichPublished in: MEMOCODE (2021)
Keyphrases
- formal verification
- finite state machines
- model checking
- symbolic execution
- control program
- formal methods
- asynchronous circuits
- specification language
- service oriented
- signature verification
- static analysis
- protocol specification
- formal specification
- access control
- database
- programming environment
- computer programs
- business process
- pattern matching
- workflow model
- case study
- e learning