MoCHi
From MaRDI portal
Cited in
(34)- CLN2INV
- Reasoning about algebraic data types with abstractions
- Predicate abstraction and CEGAR for disproving termination of higher-order functional programs
- Princess
- TACO
- TravMC
- Eldarica
- HMC
- Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable
- C-SHORe
- Almost every simply typed -term has a long -reduction sequence
- Modular verification of higher-order functional programs
- Spacer
- Higher-order model checking in direct style
- Verification of higher-order concurrent programs with dynamic resource creation
- TreatJS
- TravMC2
- Stardust
- RADA
- JayHorn
- LiquidHaskell
- Guardol
- Rust2Viper
- Crust
- scientific article; zbMATH DE number 7029315 (Why is no real title available?)
- RustHorn: CHC-based verification for Rust programs
- A Nonstandard Functional Programming Language
- Streett Automata Model Checking of Higher-Order Recursion Schemes
- On the termination problem for probabilistic higher-order recursive programs
- Automata, Logic and Games for the $$\lambda $$ -Calculus
- nncontroller
- RHLE Benchmarks
- Constraint-based relational verification
- Counterexample-guided partial bounding for recursive function synthesis
This page was built for software: MoCHi
