2881 search results - page 115 / 577 » Model Checking for Programming Languages using Verisoft |
149
click to vote
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
121
Voted
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
125
click to vote
PDP
1997
IEEE
15 years 6 months ago
1997
IEEE
We investigate the well-known PRAM model of parallel computation as a practical parallel programming model. The two components of this project are a general-purpose PRAM programmin...
117
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
141
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...