Sign in
How the design of JML accommodates both runtime assertion checking and formal verification.
Gary T. Leavens
Yoonsik Cheon
Curtis Clifton
Clyde Ruby
David R. Cok
Published in:
Sci. Comput. Program. (2005)
Keyphrases
</>
formal verification
model checking
design process
case study
building blocks
functional verification
database
symbolic model checking
bounded model checking
knowledge based systems
design principles
design decisions
design methodology
model checker