Verification, Model Checking, and Abstract Interpretation

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Bernhard Steffen

Themen in »Verification, Model Checking, and Abstract Interpretation«

C programming language Constraint Java Scheduling abstract interpretation complexity concurrent systems embedded systems infinite-state systems model checking modeling program optimization program specification program verification verification

Stimmen zu »Verification, Model Checking, and Abstract Interpretation«

Details

Link teilen