Reduced Models for Efficient CCS Verification - Concepedia

Concepedia

Publication | Closed Access

Reduced Models for Efficient CCS Verification

24

Citations

17

References

2005

Year

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini

Formal Methods in System Design

Efficient Ccs VerificationEngineeringAutomated ReasoningVerificationFormal MethodsComputer-aided VerificationComputer ScienceModel CheckingModel VerificationSoftware AnalysisFormal Verification

References

	Year	Citations

Page 1