A ZDD-based Efficient Higher-order Model Checking Algorithm Taku Terao and Naoki Kobayashi The University of Tokyo Abstract. The model checking of higher-order recursion schemes, aka.

First Page		Document Content
Date: 2015-10-06 05:34:43		A ZDD-based Efficient Higher-order Model Checking Algorithm Taku Terao and Naoki Kobayashi The University of Tokyo Abstract. The model checking of higher-order recursion schemes, aka. Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Download Document from Source Website File Size: 409,74 KB Share Document on Facebook