- Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes Steven J. Ramsay Sat 06 May 2017
- C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation Christopher Broadbent Arnaud Carayol Matthew Hague Olivier Serre Tue 11 April 2017
- Relational Semantics of Linear Logic and Higher-order Model Checking Charles Grellois Paul-André Melliès Wed 09 September 2015
- Compositional Higher-Order Model Checking via ømega-Regular Games over Böhm Trees Takeshi Tsukada C.-H. Luke Ong Mon 30 March 2015
- A Type-directed Abstraction Refinement Approach to Higher-order Model Checking Steven J. Ramsay Robin P. Neatherway C.-H. Luke Ong Wed 19 February 2014
- Towards a scalable software model checker for higher-order programs Ryosuke Sato Hiroshi Unno Naoki Kobayashi Tue 16 April 2013
- A finite semantics of simply-typed lambda terms for infinite runs of automata Klaus Aehlig Mon 28 January 2013
- Regular sets of higher-order pushdown stacks Arnaud Carayol Thu 08 March 2012
- Saturation Methods for Global Model-Checking Pushdown Systems Matthew Hague Thu 08 March 2012
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems Matthew Hague C.-H. Luke Ong Thu 08 March 2012
- An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems Anil Seth Tue 06 March 2012
- Symbolic backwards-reachability analysis for higher-order pushdown systems Matthew Hague C.-H. Luke Ong Tue 06 March 2012
- Symbolic Reachability Analysis of Higher-Order Context-Free Processes Ahmed Bouajjani Antoine Meyer Tue 06 March 2012
- Winning Regions of Higher-Order Pushdown Games A. Carayol M. Hague A. Meyer C.-H.L. Ong O. Serre Tue 06 March 2012
- A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes Naoki Kobayashi C.-H. Luke Ong Tue 06 March 2012
- Krivine Machines and Higher-Order Schemes S. Salvati I. Walukiewicz Tue 06 March 2012
- On Model-Checking Trees Generated by Higher-Order Recursion Schemes C.-H. L. Ong Tue 06 March 2012
- On Global Model Checking Trees Generated by Higher-Order Recursion Schemes Christopher Broadbent Luke Ong Tue 06 March 2012
Library Size: 13G (18 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
