Specification and verification of a transient stack.
Alexandre MoineArthur CharguéraudFrançois PottierPublished in: CPP (2022)
Keyphrases
- formal verification
- asynchronous circuits
- model checking
- formal methods
- protocol specification
- formal specification
- steady state
- high level
- specification language
- formal analysis
- website
- reactive systems
- colored petri nets
- artificial intelligence
- state space
- database systems
- user defined
- neural network
- clustering algorithm
- provably correct