523 search results - page 45 / 105 » A General Model for Reachability Testing of Concurrent Progr... |
119
Voted
ENTCS
2006
15 years 2 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...
114
Voted
ICCAD
1999
IEEE
15 years 6 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 ...
168
click to vote
OOPSLA
2010
Springer
15 years 14 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...
142
Voted
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...
121
Voted
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...