Synthesizing Switching Logic Using Constraint Solving

DOI10.1007/978-3-540-93900-9_25zbMath1206.68191OpenAlexW2634524329MaRDI QIDQ3600482

Ankur Taly, Sumit Gulwani, Ashish Kumar Tiwari

Publication date: 10 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.9196

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ A search-based procedure for nonlinear real arithmetic ⋮ Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants ⋮ Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants

This page was built for publication: Synthesizing Switching Logic Using Constraint Solving