Old Web
English
Sign In
Acemap
>
Paper
>
Application of Formal Verification to Design Creation and Implementation.
Application of Formal Verification to Design Creation and Implementation.
2001
Noel R. Strader
Gérard Memmi
Carl Pixley
Keywords:
Real-time computing
Software verification
Theoretical computer science
Formal equivalence checking
Formal methods
Verification
Intelligent verification
Computer science
Functional verification
High-level verification
Formal verification
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]