2407 search results - page 64 / 482 » A Tool for Abstraction in Model Checking |
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...
CMSB
2008
Springer
14 years 11 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
QEST
2006
IEEE
15 years 3 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
SELMAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
ENTCS
2006
14 years 9 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...