✦ LIBER ✦

SAT-based counterexample-guided abstraction refinement

✍ Scribed by Clarke, E.M.; Gupta, A.; Strichman, O.

Book ID: 117907187
Publisher: IEEE
Year: 2004
Tongue: English
Weight: 382 KB
Volume: 23
Category: Article
ISSN: 0278-0070
DOI: 10.1109/tcad.2004.829807

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Counterexample-guided abstraction refine

Counterexample-guided abstraction refinement for symmetric concurrent programs

✍ Donaldson, Alastair F.; Kaiser, Alexander; Kroening, Daniel; Tautschnig, Michael 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 707 KB

A Satisfiability-Based Approach to Abstr

A Satisfiability-Based Approach to Abstraction Refinement in Model Checking

✍ Bing Li; Chao Wang; Fabio Somenzi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 148 KB

Knowledge base refinement by monitoring

Knowledge base refinement by monitoring abstract control knowledge

✍ David C. Wilkins; William J. Clancey; Bruce G. Buchanan 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 769 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || SAT Based Predicate Abstraction for Hardware Verification

✍ Giunchiglia, Enrico; Tacchella, Armando 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 247 KB

This Book Is Devoted To The 6th International Conference On Theory And Applications Of Satisability Testing (sat 2003) Held In Santa Margherita Ligure (genoa,italy), During May 5-8,2003. Sat 2003 Followed The Workshops On S- Is?ability Held In Siena (1996), Paderborn (1998), And Renesse (2000), And

ChemInform Abstract: Diamond-based Struc

ChemInform Abstract: Diamond-based Structures to Collect and Guide Light

✍ S. Castelletto; J. P. Harrison; L. Marseglia; A. C. Stanley-Clarke; B. C. Gibson 📂 Article 📅 2011 🏛 John Wiley and Sons ⚖ 18 KB

## Abstract Review: 63 refs.

ChemInform Abstract: A Highly Refined Ve

ChemInform Abstract: A Highly Refined Version of the α-Keto Ester Based Carbapenem Synthesis: The Total Synthesis of Meropenem.

✍ A. S. PRASHAD; N. VLAHOS; P. FABIO; G. B. FEIGELSON 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 35 KB 👁 1 views

A Highly Refined Version of the α-Keto Ester Based Carbapenem Synthesis: The Total Synthesis of Meropenem. -An optimized strategy for the α-keto ester based synthesis of carbapenems is presented. Thus, acidic treatment of compound (I) allows the ring forming cyclization and deprotection to give mer