Login / Signup
How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification.
Gary T. Leavens
Yoonsik Cheon
Curtis Clifton
Clyde Ruby
David R. Cok
Published in:
FMCO (2002)
Keyphrases
</>
formal verification
model checking
case study
artificial intelligence
expert systems
design process
model checker
functional verification
user interface
rough sets
engineering design
design decisions
design methodology
design tools
automated verification