7892 search results - page 258 / 1579 » Programming with Models |
108
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
137
click to vote
WSC
1997
15 years 3 months ago
1997
The paper present a layered design for a discrete event simulation framework based on the Java programming language. A description of this project’s goals and motivation is foll...
127
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
128
click to vote
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...
120
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...