Which fragments of the interval temporal logic HS are tractable in model checking? - Concepedia

Concepedia

Publication | Open Access

Which fragments of the interval temporal logic HS are tractable in model checking?

DOI Full Paper Access

12

Citations

28

References

2018

Year

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala

Theoretical Computer Science

EngineeringFormal ModelingAutomated ReasoningVerificationFormal MethodsComputer ScienceTemporal LogicModel CheckingTimed SystemFormal VerificationWhich FragmentsTemporal Database

References

	Year	Citations

Page 1

Page 1