2836 search results - page 25 / 568 » Model Checking for Software Architectures |
125
Voted
PST
2008
15 years 4 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
104
Voted
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
88
Voted
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
92
Voted
PADL
2007
Springer
15 years 8 months ago
2007
Springer
105
Voted
SPIN
2005
Springer
15 years 8 months ago
2005
Springer