Verification, Model Checking, and Abstract Interpretation
6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Radhia Cousot
Themen in »Verification, Model Checking, and Abstract Interpretation«
C programming language Java abstract interpretation complexity data structure formal methods formal verification model checking program analysis program invariants program specification programming refinement structured analysis validation
Stimmen zu »Verification, Model Checking, and Abstract Interpretation«
Details
ISBN: 9783540242970
Verlag: Springer Berlin
Erscheinung: 13.01.2005