Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table.

Published in: FM Workshops (1) (2019)

Keyphrases

model checking
temporal logic
formal verification
software engineering
hash table
temporal properties
automated verification
database systems
verification method
symbolic model checking
bounded model checking
multi dimensional
formal specification
formal methods
epistemic logic