Symbolic model checking: 1020 States and beyond - Concepedia

Concepedia

Publication | Closed Access

Symbolic model checking: 1020 States and beyond

2.7K

Citations

20

References

1992

Year

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan, David L. Dill, L.J. Hwang

Information and Computation

EngineeringAutomated ReasoningVerificationFormal MethodsSymbolic Model CheckingComputer-aided VerificationComputer ScienceModel CheckingModel VerificationSoftware AnalysisFormal Verification

References

	Year	Citations

Page 1