Computer Aided Verification

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Warren A. Hunt, Jr.

Themen in »Computer Aided Verification«

Erfüllbarkeitsproblem der Aussagenlogik algorithms automata automated deduction computational logic formal methods logic microprocessor optimization security systems analysis systems design theorem provers theorem proving verification

Stimmen zu »Computer Aided Verification«

Details

Link teilen