1023 search results - page 175 / 205 » Model Checking: Software and Beyond |
106
click to vote
CCE
2006
15 years 1 months ago
2006
There has been significant progress in the area of short-term scheduling of batch processes, including the solution of industrial-sized problems, in the last 20 years. The main go...
SIGSOFT
2006
ACM
16 years 2 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 ...
117
click to vote
VMCAI
2009
Springer
15 years 8 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...
EUROMICRO
2007
IEEE
15 years 8 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 7 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...