Verification, Model Checking, and Abstract InterpretationAuthor :
Paperback
Published : Tuesday 17 January 2023
Description
The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
You may also like ...
by
Paperback
17 Jan 2023
Software testing and verification
€76.04
Extended stock – Dispatch 5-7 days
by
Paperback
26 Feb 2026
Crime and mystery fiction
€10.52
Reviews