7 public-domain matches

Software Verification

Cover of Software Verification and Quality Assurance Florida Polytechnic University Spring 2026

Software Verification and Quality Assurance Florida Polytechnic University Spring 2026

Florida Polytechnic University

Cover of Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Benjamin Weiß

Cover of The AI Act and The Agile Safety Plan

The AI Act and The Agile Safety Plan

Thor Myklebust, Tor Stålhane, Dorthea Mathilde Kristin Vatn

Cover of Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Guillaume Brat, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Wille Visser

Cover of Rule groupings: A software engineering approach towards verification of expert systems

Rule groupings: A software engineering approach towards verification of expert systems

Mal Mehrotra

Cover of Integrated testing and verification system for research flight software

Integrated testing and verification system for research flight software

R. N Taylor

Cover of Formal verification of AI software

Formal verification of AI software

John Rushby, R. Ala Whitehurst