Strategic Directions in Computing Research
Formal Methods Working Group

Group Scope and Goals

Research in formal methods is concerned with the development and use of mathematically-based languages, techniques, and tools to support the specification and verification of software and hardware systems.

Group Report

Chairs

Participants

Conference Information


Return to the Strategic Directions in Computing Research page


Last modified: Sun Mar 17 08:40:17 EST 1996
Jeannette Wing <wing@cs.cmu.edu>