361 search results - page 46 / 73 » Analytic Methods for the Logic of Proofs |
FUZZIEEE
2007
IEEE
14 years 10 days ago
2007
IEEE
Not considered in the analytical model of the plant, uncertainties always dramatically decrease the performance of the fault detection task in the practice. To cope better with thi...
FM
2009
Springer
14 years 3 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
AMAST
2004
Springer
14 years 6 days ago
2004
Springer
This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare's rule of adaptation to the object-oriented paradigm,...
FM
1999
Springer
14 years 22 days ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...