Specification and verification of object-oriented software components / / Andreas Roth.
This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components. It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.
Saved in:
| VerfasserIn: | |
|---|---|
| Place / Publishing House: | [Place of publication not identified] : : KIT Scientific Publishing,, 2006. |
| Year of Publication: | 2006 |
| Language: | English |
| Physical Description: | 1 online resource (268 pages) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance: