Building Bulletproof Software: The Power of Formal Verification

Beschreibung

Autor*in

Themen in »Building Bulletproof Software: The Power of Formal Verification«

formal verification software engineering bulletproof software program verification software correctness high-assurance software reliable software safety-critical systems formal methods static analysis

Stimmen zu »Building Bulletproof Software: The Power of Formal Verification«

Details

Link teilen