1472 search results - page 161 / 295 » On Model Checking Infinite-State Systems |
134
click to vote
ENTCS
2007
15 years 4 months ago
2007
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
135
Voted
IFIP13
2004
15 years 5 months ago
2004
: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It invo...
113
Voted
ARTS
1997
Springer
15 years 7 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
145
Voted
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
128
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...