2152 search results - page 52 / 431 » On Automating the Calculus of Relations |
ACTA
1998
15 years 9 days ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
107
Voted
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
137
click to vote
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
113
click to vote
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
122
click to vote
ECOOP
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...