OCRA: A tool for checking the refinement of temporal contracts.

Alessandro Cimatti Michele Dorigatti Stefano Tonetta

Published in: ASE (2013)

Keyphrases

software tools
spatio temporal
space time
temporal evolution
temporal data
temporal constraints
real time
computational complexity
relational databases
business processes
spatial and temporal
temporal reasoning
temporal patterns
temporal databases
temporal analysis
temporal consistency