Computer Aided Verification

Beschreibung

This volume contains the proceedings of a workshop on computer aided verification. Topics include verification and validation tools for hardware and software, verification methods, and verification theories and their applicability.

Autor*in

Kim G. Larsen

Themen in »Computer Aided Verification«

Automat automata computer logic model checking tools verification

Stimmen zu »Computer Aided Verification«

Details

Link teilen