Stem underapproxim$ (all stems)

5 papers:

TACAS-2013-GantyIK #approximate #integer #source code #summary

Underapproximation of Procedure Summaries for Integer Programs (PG, RI, FK), pp. 245–259.

CAV-2010-GantyMM #approximate #bound

Bounded Underapproximations (PG, RM, BM), pp. 600–614.

CAV-2007-MatsliahS #approximate #encryption #model checking #random

Underapproximation for Model-Checking Based on Random Cryptographic Constructions (AM, OS), pp. 339–351.

SAS-2006-Schmidt #approximate

Underapproximating Predicate Transformers (DAS), pp. 127–143.

POPL-2005-GrumbergLST #approximate #multi

Proof-guided underapproximation-widening for multi-process systems (OG, FL, OS, MT), pp. 122–131.