790 search results - page 9 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
137
Voted
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
109
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
155
click to vote
IJSEKE
2011
14 years 5 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
124
Voted
SPIN
2010
Springer
15 years 7 days ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
116
click to vote
IPL
2010
15 years 9 days ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...