This shareable PDF can be hosted on any platform or network and is fully compliant with publisher copyright.
This publication has not yet been explained in plain language by the author(s). However, you can still read the publication.
If you are one of the authors, claim this publication so you can create a plain language summary to help more people find, understand and use it.
This page is a summary of: Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta., Electronic Notes in Theoretical Computer Science, June 2001, Elsevier,
DOI: 10.1016/s1571-0661(04)00151-3.
You can read the full text:
The following have contributed to this page
