Old Web
English
Sign In
Acemap
>
Paper
>
Applications of Formal Methods to System Design and Verification J.UCS Special Issue
Applications of Formal Methods to System Design and Verification J.UCS Special Issue
2007
Farhad Arbab
Marjan Sirjani
Keywords:
Formal equivalence checking
Refinement
Formal specification
Systems design
Formal methods
Systems engineering
Functional verification
Computer science
Formal verification
Programming language
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]