1715 search results - page 135 / 343 » Domain-Specific Program Checking |
115
Voted
JUCS
2010
14 years 7 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
115
click to vote
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
130
Voted
CADE
2005
Springer
16 years 28 days ago
2005
Springer
We describe the design and implementation of a higher-order tabled logic programming interpreter where some redundant and infinite computation is eliminated by memoizing sub-comput...
116
click to vote
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...