Automatic generation of polynomial invariants of bounded degree using abstract interpretation

✍ Scribed by E. Rodríguez-Carbonell; D. Kapur

• Publisher: Elsevier Science
• Year: 2007
• Tongue: English
• Weight: 446 KB
• Volume: 64
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/j.scico.2006.03.003