×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [correctness specification]
March 25, 2012 Organizing committee: Hana Chockler IBM Daniel Kroening Oxford Natasha Sharygina USI Leonardo Mariani Giovanni Denaro UniMiB
216 views
OOP #10: Correctness Fritz Henglein. Wrap-up: Types A type is a collection of objects with common behavior (operations and properties). (Abstract) types
218 views
PINCETTE project: Validation of changes and upgrades in large software systems Unique challenges and suggested solutions Hana Chockler
218 views
Fundamentals of Fault-Tolerant Distributed Computing In Asynchronous Environments
54 views