219 search results - page 34 / 44 » Assume-Guarantee Model Checking of Software: A Comparative C... |
138
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
238
click to vote
ICTAC
2010
Springer
15 years 2 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
111
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
103
click to vote
SCAM
2007
IEEE
15 years 10 months ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
126
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...