2881 search results - page 457 / 577 » Model Checking for Programming Languages using Verisoft |
141
click to vote
SIGADA
2001
Springer
15 years 9 months ago
2001
Springer
The last years have seen an increasing, albeit restricted simulation of large-scale networks on shared memory parallel platforms. As the complexity of communication protocols and ...
150
click to vote
AGTIVE
2003
Springer
15 years 10 months ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
136
click to vote
SIGSOFT
1996
ACM
15 years 9 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
130
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
146
click to vote
ECOOP
2007
Springer
15 years 9 months ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...