426 search results - page 18 / 86 » Specification, Abduction, and Proof |
138
click to vote
CADE
2008
Springer
15 years 4 months ago
2008
Springer
It is well known how to use an intuitionistic meta-logic to specify natural deduction systems. It is also possible to use linear logic as a meta-logic for the specification of a va...
104
click to vote
HASE
2007
IEEE
15 years 5 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
121
click to vote
APLAS
2003
ACM
15 years 5 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
111
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
119
click to vote
FAC
2008
15 years 2 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...