1222 search results - page 89 / 245 » Verifying a File System Implementation |
116
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...
155
Voted
MEMOCODE
2003
IEEE
15 years 7 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
129
Voted
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
DAC
1995
ACM
15 years 6 months ago
1995
ACM
Abstract - In this paper we present an approach to incorporate design schedule management services into a flow management system. The basis of our approach is to derive a design s...