From Design Contracts to Component Requirements Verification.

Jing Liu John D. Backes Darren D. Cofer Andrew Gacek

Published in: NFM (2016)

Keyphrases

model checking
design principles
design process
computer aided
design decisions
formal methods
design goals
detailed design
databases
user interface
building blocks
optimal design
design space
functional verification