Scalable distributed on-the-fly symbolic model checking - Concepedia

Concepedia

Publication | Closed Access

Scalable distributed on-the-fly symbolic model checking

13

Citations

16

References

2003

Year

Shoham Ben-David, Orna Grümberg, Tamir Heyman, Assaf Schuster

International Journal on Software Tools for Technology Transfer

EngineeringRuntime VerificationProgram AnalysisAutomated ReasoningVerificationFormal MethodsSoftware AnalysisOn-the-fly Symbolic ModelComputer-aided VerificationComputer ScienceModel CheckingFormal Verification

References

	Year	Citations

Page 1