1715 search results - page 217 / 343 » Domain-Specific Program Checking |
118
Voted
QEST
2006
IEEE
15 years 7 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
94
Voted
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
114
Voted
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
110
Voted
SAT
2004
Springer
15 years 6 months ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...
117
Voted
COCOON
2003
Springer
15 years 6 months ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...