Computer Aided Verification

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Rajeev Alur

Themen in »Computer Aided Verification«

algorithms automata automated deduction calculus computational logic computer aided verification formal methods formal program analysis formal verification logic modeling petri net proving systems verification verification

Stimmen zu »Computer Aided Verification«

Details

Link teilen