3552 search results - page 51 / 711 » Proof theory in the abstract |
125
click to vote
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
155
click to vote
ICFEM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
141
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little ...
115
click to vote
KBSE
1998
IEEE
15 years 6 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
TLCA
1997
Springer
15 years 6 months ago
1997
Springer
S TECHNICAL REPORT ABSTRACTS