219 search results - page 8 / 44 » Dynamic partial-order reduction for model checking software |
138
Voted
FM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
111
Voted
FMICS
2008
Springer
15 years 4 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
139
Voted
COMPSEC
2010
15 years 2 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
131
Voted
POPL
1997
ACM
15 years 6 months ago
1997
ACM
We present a new predicative and decidable type system, called ML , suitable for languages that integrate functional programming and parametric polymorphism in the tradition of ML...
123
Voted
EMSOFT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...