740 search results - page 97 / 148 » A Spatial Logic for Concurrency |
147
click to vote
VLSID
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
146
click to vote
KR
1994
Springer
15 years 9 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
139
click to vote
VLDB
1990
ACM
15 years 9 months ago
1990
ACM
This paper presents an approach to maintaining consistency of object versions in multiversion database systems. In this approach a multiversion database is considered to be a set ...
160
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
164
click to vote
ISAAC
1995
Springer
15 years 9 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...