Verification, Model Checking, and Abstract Interpretation
Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Agostino Cortesi
Themen in »Verification, Model Checking, and Abstract Interpretation«
Abstract Interpretation Concurrent Systems Correct System Design Formal Methods Program Analysis Program Optimization Program Semantics Program Specification Program Verification Reactive Systems Temporal Logics model checking optimization verification
Stimmen zu »Verification, Model Checking, and Abstract Interpretation«
Details
ISBN: 9783540436317
Verlag: Springer Berlin
Erscheinung: 24.04.2002