One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast.

Mahmoud Mohsen Bart Jacobs

Published in: FMICS-AVoCS (2016)

Keyphrases

formal specification
specification language
object oriented design
model checking
specification languages
bayesian networks
reverse engineering
databases
design methodology
formal methods
inference process
information systems
object oriented
probabilistic inference
concurrent systems
protocol specification