Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods.
Gidon ErnstAlexander WeiglPublished in: iFM (2023)
Keyphrases
- formal methods
- long term
- short term
- formal analysis
- knowledge based systems
- formal specification
- safety critical
- artificial intelligence
- provably correct
- model checking
- process algebra
- model checker
- database systems
- software engineering
- security properties
- modeling language
- knowledge acquisition
- distributed systems
- concurrent systems
- formal specification language