Computer-Aided Verification

Beschreibung

This volume is the proceedings of a workshop presenting results that lead to new or more powerful computer aided verification methods: advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations, and proof-checking in controller verification.

Autor*in

Edmund M. Clarke

Themen in »Computer-Aided Verification«

Algorithms Attribut Session algorithm computer formal language formal languages formal verification tools verification

Stimmen zu »Computer-Aided Verification«

Details

Link teilen