Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
Read More
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
Read Less
Add this copy of Deductive verification of object-oriented software: to cart. $45.90, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2014 by Karlsruher Institut Fur Technologie.
Add this copy of Deductive Verification of Objectoriented Software to cart. $47.60, new condition, Sold by Paperbackshop rated 4.0 out of 5 stars, ships from Bensenville, IL, UNITED STATES, published 2014 by Karlsruher Institut für Technologie.
Add this copy of Deductive verification of object-oriented software: to cart. $47.66, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2014 by Karlsruher Institut Fur Technologie.
Add this copy of Deductive verification of object-oriented software: to cart. $77.88, new condition, Sold by Booksplease rated 4.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 2014 by Karlsruher Institut Fur Technologie.
Add this copy of Deductive Verification of Object-Oriented Software: to cart. $90.46, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2011 by KIT Scientific Publishing.
