790 search results - page 8 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
85
Voted
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
ICFP
2009
ACM
15 years 6 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
IJAIT
2006
14 years 11 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
54
Voted
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
109
click to vote
APIN
1998
14 years 11 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...