783 search results - page 79 / 157 » Compositional Reasoning in Model Checking |
108
Voted
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
122
click to vote
DLOG
2009
15 years 6 days ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
119
click to vote
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
146
click to vote
IPPS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
132
click to vote
JIB
2007
15 years 2 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...