Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleVerification and Synthesis Using Real Quantifier Elimination
Author(s) Stephan Thomasse, Ashish Tiwari
TypeArticle in Conference Proceedings
Keywordscontroller synthesis, formal verification, inductive invariants
ISBN978-1-4503-0675-1
URL http://doi.acm.org/10.1145/1993886.1993935
LanguageEnglish
SeriesISSAC
Pages329--336
PublisherACM
AddressNew York, NY, USA
Year2011
Edition0
Translation No
Refereed No
Webmaster