Checking interval properties of computations - Concepedia

Concepedia

Publication | Open Access

Checking interval properties of computations

DOI Full Paper Access

37

Citations

22

References

2015

Year

Alberto Molinari, Angelo Montanari, Aniello Murano, Giuseppe Perelli, Adriano Peron

Acta Informatica

EngineeringValidated NumericsAutomated ReasoningInterval PropertiesVerificationInterval AnalysisFormal MethodsInterval ComputationComputer ScienceFormal Verification

References

	Year	Citations

Page 1