Refinable Record Structures in Formal Methods.

Asieh Salehi Fathabadi Colin F. Snook Thai Son Hoang Dana Dghaym Michael J. Butler

Published in: MEDI Workshops (2021)

Keyphrases

formal methods
formal analysis
software engineering
model checking
model checker
knowledge based systems
formal specification
artificial intelligence
process algebra
provably correct
safety critical
temporal properties
databases
modeling language
real world
reactive systems