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)
Appalachian State University (ASU )
Web Site:

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

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
Language: English
Date: 2015
Induction, Coinduction, Recursion, Corecursion, Structural Resolution

Email this document to