Southern California High Tech Event Calendar

Submit An Event

Jump To:
View By:

Formal Methods Used in Software Verification
Date: February 04, 2004
Location: Simi Valley
"Formal Methods Used in Software Verification" San Fernando Chapter of SCQAA. Robert T. Bauer, IBM. In the formal methods community, software verification means to prove that a given software system is correct with respect to its specification. Engineers and managers in software QA and QE have a different problem: Increasingly complex software that needs to be "tested" in ever decreasing amounts of time. Contact Gerry Caruso 818-707-0565.
More information:
Download to Calendar