Publication | Open Access
Abstract interpretation and partition refinement for model checking
195
Citations
42
References
1996
Year
EngineeringAutomated ReasoningProgram AnalysisVerificationFormal MethodsModel AbstractionComputer ScienceModel CheckingModel VerificationSoftware AnalysisFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1