1472 search results - page 156 / 295 » On Model Checking Infinite-State Systems |
128
Voted
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
The Unified Modeling Language (UML) is widely used in the software development process for specification of system based on the object-oriented paradigm. Thought the current versi...
124
click to vote
ACL
2010
15 years 1 months ago
2010
Lexicalized reordering models play a crucial role in phrase-based translation systems. They are usually learned from the word-aligned bilingual corpus by examining the reordering ...
135
click to vote
ESORICS
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we describe a novel approach to policy-based intrusion detection. The model we propose checks legality of information flows between objects in the system, according...
125
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
134
Voted
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...