Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg / /
IndustryTerm
software system / software safety / component-based software / theorem proving tools / heuristic search / large complex applications / cryptographic protocols / generalpurpose tools / it possible to model systems / software tools / proof tool / test generation tools / software requiring government certification / safety-critical applications / verification tools / software industry / integrity software / e - commerce / typical commercial software development effort / expected software behavior / simulation software / state space search / real-world systems / component-based systems / namely heuristic search / software testing / lowest level software / software development / software verification / search methods / /
Organization
Alonzo Church / Institute of Standards and Technology Gaithersburg / National Aeronautics and Space Administration / Naval Research Lab / Department of Defense Verification / Validation / and Accreditation / /
Cost Effective Use of Formal Methods in Verification and Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg, MD 20899