Simulation Relations and Applications in Formal Methods.

Kim G. Larsen Christian Schilling Jirí Srba

Published in: Principles of Systems Design (2022)

Keyphrases

formal methods
formal specification language
formal analysis
model checking
formal specification
artificial intelligence
safety critical
process algebra
knowledge based systems
temporal properties
provably correct
modeling language
development lifecycle
software engineering