Modular Verification of JML Contracts Using Bounded Model Checking.
Bernhard BeckertMichael KirstenJonas KlamrothMattias UlbrichPublished in: ISoLA (1) (2020)
Keyphrases
- bounded model checking
- model checking
- formal verification
- temporal logic
- linear temporal logic
- supply chain
- modular structure
- model checker
- modular neural networks
- multi agent systems
- moral hazard
- concurrent systems
- finite state
- reactive systems
- formal methods
- knowledge base
- formal specification
- modal logic
- domain specific
- cooperative
- face recognition