Combining simulation and formal methods for system-level performance analysis.

Simon Künzli Francesco Poletti Luca Benini Lothar Thiele

Published in: DATE (2006)

Keyphrases

formal methods
formal specification language
formal analysis
model checking
safety critical
provably correct
formal specification
software engineering
knowledge based systems
temporal properties
process algebra
development lifecycle
information systems
building blocks
security properties