Publication | Closed Access
Formal verification in a commercial setting
71
Citations
3
References
1997
Year
Unknown Venue
TechnologyEngineeringAutomated ReasoningMechanical VerificationSoftware TestingVerificationFormal MethodsComputer-aided VerificationModel VerificationFormal TechniqueComputer ScienceFollowing QuestionsCommunicationFormal VerificationSoftware AnalysisSoftware Verification
This tutorial addresses the following questions: why do formal verification? who is doing it today? what are they doing? how are they doing it? what about the future?
| Year | Citations | |
|---|---|---|
Page 1
Page 1