A Platform for Requirement Based Formal Specification.

Uwe Proß Erik Markert Jan Langer Andreas Richter Chris Drechsler Ulrich Heinkel

Published in: FDL (2008)

Keyphrases

formal specification
model checking
specification language
specification languages
object oriented design
concurrent systems
process algebra
reverse engineering
formal methods
data abstraction
temporal logic
model checker
formal specification language
formal verification