523 search results - page 45 / 105 » A General Model for Reachability Testing of Concurrent Progr... |
122
click to vote
ENTCS
2006
15 years 3 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...
116
click to vote
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
We present optimal solutions to the test scheduling problem for core-based systems. We show that test scheduling is equivalent to the m-processor open-shop scheduling problem and ...
173
Voted
OOPSLA
2010
Springer
15 years 29 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
145
click to vote
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
123
click to vote
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...