×

Found 47 Documents (Results 1–47)

Newest Citations Relevance
Bogomolov, Sergiy; Frehse, Goran; Giacobbe, Mirco; Henzinger, Thomas A.

Counterexample-guided refinement of template polyhedra. (English) Zbl 1452.68099

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 589-606 (2017).
MSC:  68Q45
Cite Review PDF
Full Text: DOI Link
Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha

Symbolic optimization with SMT solvers. (English) Zbl 1284.68410

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 607-618 (2014).
MSC:  68Q60 68N30 68T20 68W05 90C99
Cite Review PDF
Full Text: DOI
Gawlitza, Thomas Martin; Monniaux, David

Improving strategies via SMT solving. (English) Zbl 1326.68093

Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 236-255 (2011).
MSC:  68N30
Cite Review PDF
Full Text: DOI arXiv
Colón, Michael A.; Sankaranarayanan, Sriram

Generalizing the template polyhedral domain. (English) Zbl 1326.68088

Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 176-195 (2011).
MSC:  68N30 52B99 90C05
Cite Review PDF
Full Text: DOI
Chen, Liqian; Miné, Antoine; Wang, Ji; Cousot, Patrick

Linear absolute value relation analysis. (English) Zbl 1326.68086

Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 156-175 (2011).
MSC:  68N30
Cite Review PDF
Full Text: DOI
Goubault, Eric; Le Roux, Stéphane; Leconte, Jeremy; Liberti, Leo; Marinelli, Fabrizio

Static analysis by abstract interpretation: a mathematical programming approach. (English) Zbl 1342.68086

Miné, Antoine (ed.) et al., Proceedings of the 2nd international workshop on numerical and symbolic abstract domains: NSAD 2010, Perpignan, France, September 13, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 267, No. 1, 73-87 (2010).
MSC:  68N30 68Q55 90C57 90C90
Cite Review PDF
Full Text: DOI
Bouissou, Olivier; Seladji, Yassamine; Chapoutot, Alexandre

Abstract fixpoint computations with numerical acceleration methods. (English) Zbl 1342.68071

Miné, Antoine (ed.) et al., Proceedings of the 2nd international workshop on numerical and symbolic abstract domains: NSAD 2010, Perpignan, France, September 13, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 267, No. 1, 29-42 (2010).
MSC:  68N30 65B99 68Q55
Cite Review PDF
Full Text: DOI
Lahiri, Shuvendu K.; Qadeer, Shaz

Complexity and algorithms for monomial and clausal predicate abstraction. (English) Zbl 1250.68194

Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 214-229 (2009).
MSC:  68Q60 03B35 68Q25
Cite Review PDF
Full Text: DOI
Beyer, Dirk; Henzinger, Thomas A.; Majumdar, Rupak; Rybalchenko, Andrey

Invariant synthesis for combined theories. (English) Zbl 1132.68333

Cook, Byron (ed.) et al., Verification, model checking, and abstract interpretation. 8th international conference, VMCAI 2007, Nice, France, January 14–16, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-69735-0/pbk). Lecture Notes in Computer Science 4349, 378-394 (2007).
MSC:  68N30 68Q60
Cite Review PDF
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software