1541 search results - page 26 / 309 » Tools and Techniques for Model Checking Networked Programs |
90
Voted
APLAS
2005
ACM
15 years 2 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
112
Voted
GG
2010
Springer
15 years 19 days ago
2010
Springer
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after ...
100
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
111
Voted
ECEASST
2008
15 years 16 days ago
2008
Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. T...
97
Voted
TAICPART
2006
IEEE
15 years 6 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...