5216 search results - page 200 / 1044 » Planning as Model Checking |
173
click to vote
PST
2008
15 years 7 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 ...
