MoCHi
From MaRDI portal
Software:33285
No author found.
Related Items (15)
RustHorn: CHC-Based Verification for Rust Programs ⋮ Constraint-based relational verification ⋮ Counterexample-guided partial bounding for recursive function synthesis ⋮ A Nonstandard Functional Programming Language ⋮ Higher-Order Model Checking in Direct Style ⋮ Verification of Higher-Order Concurrent Programs with Dynamic Resource Creation ⋮ Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable ⋮ Reasoning about algebraic data types with abstractions ⋮ Predicate abstraction and CEGAR for disproving termination of higher-order functional programs ⋮ Almost Every Simply Typed $$\lambda $$-Term Has a Long $$\beta $$-Reduction Sequence ⋮ Modular Verification of Higher-Order Functional Programs ⋮ Automata, Logic and Games for the $$\lambda $$ -Calculus ⋮ Unnamed Item ⋮ Streett Automata Model Checking of Higher-Order Recursion Schemes ⋮ Unnamed Item
This page was built for software: MoCHi
