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.