Stepwise Validation of Formal Specifications.

Atif Mashkoor Jean-Pierre Jacquot

Published in: APSEC (2011)

Keyphrases

formal specification
specification languages
object oriented design
model checking
specification language
reverse engineering
concurrent systems
formal methods
process algebra
protocol specification
design methodology
machine learning
artificial intelligence
data model
fine grained