1023 search results - page 36 / 205 » Model Checking: Software and Beyond |
106
click to vote
WSC
1997
15 years 2 months ago
1997
Over time, simulation tools have found use in most manufacturing enterprises. Due to the increased flexibility and openness of the tools available today, simulation can now begin ...
103
click to vote
FASE
2010
Springer
15 years 6 months ago
2010
Springer
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...
104
click to vote
ENTCS
2006
15 years 1 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...
SIGSOFT
2003
ACM
15 years 6 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
101
Voted
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...