4036 search results - page 325 / 808 » Formal Methods |
151
click to vote
FMCO
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
161
click to vote
CAV
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empiri...
167
click to vote
CAV
2004
Springer
16 years 3 days ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
183
click to vote
FMCAD
2004
Springer
16 years 2 days ago
2004
Springer
We present a new and very simple translation of the bounded model checking problem which is linear both in the size of the formula and the length of the bound. The resulting CNF-fo...
196
click to vote
FMCO
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The first part of the paper gives a brief overview of metaprogramming, in particular program generation, and its use in software development. The second part introduces ...