2496 search results - page 134 / 500 » Error-detecting properties of languages |
138
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
144
Voted
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
122
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
111
click to vote
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
137
click to vote
JCS
2007
15 years 4 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...