On TV.com: Who?ll Replace OPRAH as Our Life Coach?
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

Overview:

Extended Static Checking (ESC) is a fully automated formal verification technique and is generally quite efficient, as far as verification tools go, but it is still orders of magnitude slower than simple compilation. Verification in ESC is achieved by translating programs and their specifications into Verification Conditions (VCs). Proof of a VC establishes the correctness of the program. As can be imagined, proving VCs is computationally expensive: While small classes can be verified in seconds, verifying larger programs of 50 KLOC can take hours. To help address this lack of scalability, this paper presents the multi-threaded version of ESC4 and its distributed prover back-end.

(Is this item miscategorized? Does it need more tags? Let us know.)

Format:PDFSize:481 KB
Date:Jan 2008
Pages:8

People who downloaded this item also downloaded

White Paper Concurrent Multiprocess Benchmarking of Java Garbage Collection
White Paper Memory Management for Real-Time Java: State of the Art
Download Sender Verification Extension 0.9.0.1 (Windows)

Top results from Programming Languages

White Paper Designing High Availability for Internet Information Services
White Paper Surviving and Thriving in the Customer-Driven Age
White Paper Citizants: Bringing IT In-House
White Paper Supporting Employees Anytime, Anywhere
White Paper The Pursuit of a Standardized Solution for Secure Enterprise RBAC

» View all Programming Languages listings

advertisement
Click Here

White Papers, Webcasts, and Resources

Featured Training Courses

SmartPlanet

Click Here

Returning users: Log In Here!

Already registered on BNET, TechRepublic, or ZDNet? Simply log in.

Free Membership: Sign Up Now!

Sign up for a free membership today and get instant and unlimited access to one of the largest databases of white papers, webcasts, and casestudies anywhere. Your FREE membership allows you to:

  • Download an unlimited amount of content, including classic and current white papers, case studies, webcasts and more
  • Track content on your chosen topics of interest
  • Receive targeted email alerts when your favorite content is added
  • Save content for future reading
  • Receive our member newsletter

When you register to access this library, you allow us to share your information with companies that produce products or services featured in the library--so that such companies may contact you with information and offers regarding their products and services. This enables us to keep the library a free service. As a library registrant, you will receive a complimentary subscription to the ZDNet white paper newsletter and e-mail Must-Read News Alerts. You can unsubscribe from these at any time. By clicking the Sign up button, you indicate that you agree to our Terms and Conditions and have read and understand our Privacy Policy (updated).