Structural Resolution for Automated Verification

ASU Author/Contributor (non-ASU co-authors, if there are any, appear on document)
Patricia Johann Ph.D, Professor (Creator)
Institution
Appalachian State University (ASU )
Web Site: https://library.appstate.edu/

Abstract: We pose a research question: Can the newly-developed structural resolution be used to extend co-inductive methods in automated theorem proving?

Additional Information

Publication
Ekaterina Komendantskaya, Peng Fu, and Patricia Johann. (2015) "Structural Resolution for Automated Verification". Automated Verification of Critical Systems 2015 (AVoCS'15). ISSN 1863-2122 Version of Record available from www.AVoCS.com
Language: English
Date: 2015
Keywords
Induction, Coinduction, Recursion, Corecursion, Structural Resolution

Email this document to