On TV.com: ADAM LAMBERT'S A Big Faker
BNET Business Network:
BNET
TechRepublic
ZDNet

FREE Registration is required

Overview:

Tremendous progress has been made in automated and semi-automated verification since the seminal works on program verification. Automated deductive techniques like model checking have been highly successful for many verification tasks. Impressive advances continue to be made in static analysis, type systems, and static bug finding. These approaches aim to verify code or find bugs in existing systems as automatically as possible, with as little developer help as possible. This has been the aim of the research community for many years, possibly due in part to the bad reputation that continues to plague full program verification. Theorem proving approaches to program verification have continued to make advances, but indeed, they still are generally applied only to the most critical applications.

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

Format:PDFSize:124 KB
Date:Dec 2006
Pages:9

Top results from Programming Languages

White Paper Surviving and Thriving in the Customer-Driven Age
White Paper Designing High Availability for Internet Information Services
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

White Papers, Webcasts, and Resources

Featured Training Courses

Enterprise Applications

  • Check out some of the easiest and most powerful ways to boost productivity while saving money on your application infrastructure. See ZDNet's comprehensive Enterprise Application resource center, now!
  • New Online Dashboard
  • Read about top issues IT decision-makers face every day, plus get cost effective solutions to real life IT problems. Oracle Topline

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).