5015 search results - page 805 / 1003 » Model Checking a Path |
114
Voted
ACISP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Most current object-based distributed systems support access control lists for access control. However, it is difficult to determine which principal information to use fo...
134
click to vote
ECOOPW
1998
Springer
15 years 6 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
106
Voted
ASYNC
2007
IEEE
15 years 6 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
197
Voted
B
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
124
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...