159
click to vote
FMCO
15 years 10 months ago
2005 Springer 
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
131
click to vote
FMCO
15 years 10 months ago
2005 Springer 
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
137
click to vote
FMCO
15 years 10 months ago
2005 Springer 
ion and Refinement in Model Checking Orna Grumberg Technion, Haifa, Israel FMCO, Amsterdam November 2005
159
click to vote
FMCO
15 years 10 months ago
2005 Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
128
click to vote
FMCO
15 years 10 months ago
2005 Springer 
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
|
Formal Methods