Southern California High Tech Event Calendar
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 |