Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck
Christoph BaumannBernhard BeckertHolger BlasumThorsten BormerPublished in: SSV (2012)
Keyphrases
- lessons learned
- formal verification
- asynchronous circuits
- case study
- formal methods
- future directions
- model checking
- protocol specification
- participatory design
- formal specification
- high level
- temporal logic
- face verification
- specification language
- design science
- grounded theory
- user defined
- concurrent systems
- fingerprint verification
- cooperative
- steiner tree
- colored petri nets
- false acceptance rate
- functional verification
- database systems