Details:
Title | Verification and Synthesis Using Real Quantifier Elimination | Author(s) | Stephan Thomasse, Ashish Tiwari | Type | Article in Conference Proceedings | Keywords | controller synthesis, formal verification, inductive invariants | ISBN | 978-1-4503-0675-1 |
URL |
http://doi.acm.org/10.1145/1993886.1993935 |
Language | English | Series | ISSAC | Pages | 329--336 | Publisher | ACM | Address | New York, NY, USA | Year | 2011 | Edition | 0 | Translation |
No | Refereed |
No |
|