2881 search results - page 66 / 577 » Model Checking for Programming Languages using Verisoft |
111
click to vote
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We consider programs which are data independent with respect to two type variables X and Y , and can in addition use arrays indexed by X and storing values from Y . We ar...
233
click to vote
CC
2011
Springer
14 years 5 months ago
2011
Springer
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...
103
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
135
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
131
click to vote
JAVA
2001
Springer
15 years 6 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...