VCC: Contract-based modular verification of concurrent C.
Markus DahlweidMichal MoskalThomas SantenStephan TobiesWolfram SchultePublished in: ICSE Companion (2009)
Keyphrases
- model checking
- modular structure
- verification method
- machine learning
- decision trees
- artificial neural networks
- supply chain
- temporal logic
- asynchronous circuits
- false acceptance rate
- data mining
- high security
- person identification
- transaction costs
- formal verification
- signature verification
- formal analysis
- formal methods
- cloud computing
- database systems
- information systems