1715 search results - page 79 / 343 » Domain-Specific Program Checking |
121
Voted
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
112
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
109
Voted
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
ERLANG
2006
ACM
15 years 8 months ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
140
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...