3552 search results - page 112 / 711 » Proof theory in the abstract |
205
click to vote
ISAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
193
click to vote
MKM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
156
click to vote
MKM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
165
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
164
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...