An SMT-based approach to satisfiability checking of MITL - Concepedia

Concepedia

Publication | Open Access

An SMT-based approach to satisfiability checking of MITL

DOI Full Paper Access

19

Citations

13

References

2015

Year

Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

Information and Computation

EngineeringAutomated ReasoningSoftware TestingVerificationSmt-based ApproachFormal MethodsSoftware AnalysisSatisfiabilityComputer-aided VerificationComputer ScienceModel CheckingFormal Verification

References

	Year	Citations

Page 1