CBMC: The C Bounded Model Checker.
Daniel KroeningPeter SchrammelMichael TautschnigPublished in: CoRR (2023)
Keyphrases
- model checker
- model checking
- formal verification
- description language
- formal methods
- temporal logic
- formal specification
- symbolic model checking
- test suite
- set theory
- ai planning
- specification language
- software architecture
- fuzzy sets
- general purpose
- domain specific
- reinforcement learning
- binary decision diagrams
- machine learning
- data mining