367 search results - page 1 / 74 » Temporal Reasoning for Procedural Programs |
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
ICTL
1994
13 years 9 months ago
1994
This paper presents a temporal belief logic called
ICTL
1994
13 years 9 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
ECP
1999
Springer
13 years 9 months ago
1999
Springer
In this paper we study the consistency problem for a set of disjunctive temporal constraints [Stergiou and Koubarakis, 1998]. We propose two SAT-based procedures, and show that—o...
ICFP
2003
ACM
13 years 10 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...