IronSpec: Increasing the Reliability of Formal Specifications.

Eli Goldweber Weixin Yu Seyed Armin Vakil-Ghahani Manos Kapritsos

Published in: OSDI (2024)

Keyphrases

formal specification
model checking
object oriented design
specification language
design methodology
specification languages
reverse engineering
formal methods
process algebra
database
highly reliable
concurrent systems
case study
database systems
temporal logic
formal specification language