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