Minimalist Proof Assistants: Interactions of Technology and Methodology in Formal System Level Verification (abstract).

Kenneth L. McMillan

Published in: FMCAD (1998)

Keyphrases

higher level
formal methods
case study
cost effective
formal model
high level
website
model checking
key technologies
asynchronous circuits
social networks
abstract data types
formal analysis
knowledge level
design methodology
rapid development
personal computer
data processing
knowledge base