1715 search results - page 91 / 343 » Domain-Specific Program Checking |
115
click to vote
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...
147
click to vote
FOSSACS
2011
Springer
14 years 5 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
102
click to vote
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
128
click to vote
DEXAW
2004
IEEE
15 years 6 months ago
2004
IEEE
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...