2872 search results - page 375 / 575 » On (Omega-)Regular Model Checking |
200
click to vote
ISCA
2012
IEEE
13 years 9 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
209
click to vote
ICDT
2012
ACM
13 years 9 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
191
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
181
click to vote
ILP
2007
Springer
16 years 19 days ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
175
click to vote
DATE
2005
IEEE
16 years 3 days ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...