Found 2 results
Filters: Author is Tachio Terauchi  [Clear All Filters]
Murase A, Terauchi T, Kobayashi N, Sato R, Unno H.  2016.  Temporal verification of higher-order functional programs. Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. :57–68.
Terauchi T.  2015.  Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR. Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. :128–144.