1304 search results - page 109 / 261 » Model Checking C Programs Using F-SOFT |
155
click to vote
CC
2009
Springer
15 years 25 days ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
136
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
131
click to vote
ASWEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...
199
click to vote
B
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
133
click to vote
JFP
2008
15 years 3 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...