1809 search results - page 218 / 362 » Software Model Checking Using Linear Constraints |
127
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
112
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
231
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
160
click to vote
CASES
2009
ACM
15 years 2 days ago
2009
ACM
This paper presents a partitioning and allocation algorithm for an iterative stream compiler, targeting heterogeneous multiprocessors with constrained distributed memory and any c...
111
click to vote
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...