312 search results - page 31 / 63 » The eureka tool for software model checking |
125
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
103
click to vote
ICSE
2004
IEEE-ACM
16 years 1 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
126
Voted
STTT
2010
14 years 8 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
125
click to vote
TSE
2010
15 years 5 days ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
107
click to vote
FMCO
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...