Login / Signup
Formal Methods for Performance Evaluation.
Ulrich Herzog
Published in:
European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Keyphrases
</>
formal methods
formal analysis
model checking
model checker
knowledge based systems
safety critical
provably correct
formal specification
process algebra
software engineering
real world
temporal logic
temporal properties
database
modeling language
development lifecycle