Publication | Closed Access
Systematic testing and formal verification to validate reactive programs
22
Citations
6
References
1995
Year
EngineeringProgram AnalysisAutomated ReasoningSoftware TestingVerificationSystematic TestingFormal MethodsSoftware AnalysisFormal TechniqueComputer ScienceFormal VerificationSoftware VerificationReactive Language
| Year | Citations | |
|---|---|---|
Page 1
Page 1