Back to Results
First PageMeta Content
Mathematics / Mathematical analysis / Order theory / Structure / Lattice theory / Complete lattice / Lattice / Abstract interpretation / Monotonic function / Fixed point / QuickCheck / KnasterTarski theorem


QuickChecking Static Analysis Properties Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper
Add to Reading List

Document Date: 2015-02-06 02:29:00


Open Document

File Size: 404,16 KB

Share Result on Facebook
UPDATE