383 search results - page 63 / 77 » Liveness Checking as Safety Checking |
185
click to vote
CONCUR
2004
Springer
16 years 23 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
198
click to vote
FORMATS
2004
Springer
16 years 23 days ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
210
click to vote
OOPSLA
2004
Springer
16 years 22 days ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
216
Voted
GECCO
2003
Springer
16 years 17 days ago
2003
Springer
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
216
click to vote
HIPC
2003
Springer
16 years 17 days ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...