3793 search results - page 485 / 759 » Expressive Description Logics |
170
click to vote
SPIN
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
145
click to vote
TACAS
2007
Springer
16 years 23 days ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
204
click to vote
PLDI
2006
ACM
16 years 18 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
157
click to vote
PPDP
2005
Springer
16 years 3 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
152
click to vote
ADC
2004
Springer
16 years 1 days ago
2004
Springer
Reflective Relational Machines were introduced by S. Abiteboul, C. Papadimitriou and V. Vianu in 1994, as variations of Turing machines which are suitable for the computation of ...