8828 search results - page 1358 / 1766 » Formal methods in practice |
167
click to vote
ATAL
2005
Springer
16 years 16 days ago
2005
Springer
There is a growing need for a theory of “local to global” in distributed multi-agent systems, one which is able systematically to describe and analyze a variety of problems. T...
192
click to vote
CAV
2005
Springer
16 years 16 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
257
click to vote
CHARME
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
166
click to vote
CIE
2005
Springer
16 years 16 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
180
click to vote
CIS
2005
Springer
16 years 16 days ago
2005
Springer
When considering information security and privacy issues most of the attention has previously focussed on data protection and the privacy of personally identifiable information (PI...