Publikation

Using the INKA prover to automate safety proofs in abstract interpretation - A case study

Dennis Dams, Dieter Hutter, Natalia Sidorova

In: Françoise Bellegarde , Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S.. Workshop on Modelling and Verification Besançon 1999.

http://www.dfki.de/vse/papers/dhs00.ps.gz (gz, 56 KB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence