1463 search results - page 99 / 293 » Model Checking Implicit-Invocation Systems |
111
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
105
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
121
click to vote
STTT
2008
15 years 1 months ago
2008
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large co...
135
click to vote
AADEBUG
2005
Springer
15 years 7 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...
100
click to vote
FAC
2008
15 years 1 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...