Formal Specification of Mixed Components with Korrigan.

Christine Choppy Pascal Poizat Jean-Claude Royer

Published in: APSEC (2001)

Keyphrases

formal specification
software components
object oriented design
specification languages
model checking
specification language
formal methods
process algebra
data abstraction
reverse engineering
concurrent systems
building blocks
web services
source code
temporal logic
model checker