227 search results - page 35 / 46 » Tutorial: Parallel Model Checking |
100
Voted
ICPP
2002
IEEE
15 years 4 months ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...
129
Voted
PPOPP
2009
ACM
16 years 6 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
81
Voted
SIGSOFT
2003
ACM
16 years 12 days ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
KBSE
2008
IEEE
15 years 6 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...
CONCUR
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...