367 search results - page 31 / 74 » Temporal Reasoning for Procedural Programs |
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
UM
2001
Springer
14 years 1 months ago
2001
Springer
Unambiguously, adaptive systems have to be evaluated empirically to guarantee that the adaptivity really works. Nevertheless, only few of the existing adaptive systems have been ev...
ICLP
2003
Springer
14 years 1 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...