Practical specification and verification with code contracts.

Francesco Logozzo

Published in: HILT (2013)

Keyphrases

formal verification
model checking
code generation
formal methods
asynchronous circuits
formal specification
source code
protocol specification
real world
practical problems
concurrent systems
practical application
information systems
signature verification
data sets
real time
database