1206 search results - page 176 / 242 » Concurrent Abstract Predicates |
183
click to vote
VMCAI
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
183
click to vote
PASTE
2004
ACM
16 years 19 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
236
Voted
IFM
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
202
click to vote
PADL
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
178
click to vote
SAS
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...