449 search results - page 2 / 90 » Model Checking Large Software Specifications |
PST
2008
13 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 ...
AADEBUG
2005
Springer
13 years 12 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
AMOST
2007
ACM
13 years 10 months ago
2007
ACM
FMOODS
2007
13 years 7 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
ICSE
2007
IEEE-ACM
14 years 6 months ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...