Old Web
English
Sign In
Acemap
>
Paper
>
Time for Verification
Time for Verification
2010
Zohar Manna
Doron A. Peled
Keywords:
Formal methods
Programming language
Specification language
Formal equivalence checking
Modeling language
Object language
Formal specification
Grammar systems theory
Computer science
Formal verification
Functional verification
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
18
Citations
NaN
KQI
[]