950 search results - page 164 / 190 » Software model checking with SPIN |
107
Voted
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 ...
138
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
108
Voted
EUROMICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
SCAM
2007
IEEE
15 years 9 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...
138
click to vote
LCPC
2007
Springer
15 years 9 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...