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?
Structural Resolution for Automated Verification
PDF (Portable Document Format)
146 KB
Created on 8/8/2016
Views: 360
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