Matching µ-logic: Foundation of K framework

DOI10.4230/LIPIcs.CALCO.2019.1OpenAlexW3015923559MaRDI QIDQ5875341

No author found.

Publication date: 3 February 2023

Full work available at URL: https://experts.illinois.edu/en/publications/matching-µ-logic-foundation-of-k-framework

zbMATH Keywords

program verificationreachability logicmatching \(\mu\)-logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

A matching logic foundation for Alk ⋮ Towards a unifying logical framework for neural networks

Uses Software

• K-Java
• KJS

Cites Work

• K-Java
• Matching Logic
• One-Path Reachability Logic
• An axiomatic basis for computer programming
• Unnamed Item

This page was built for publication: Matching µ-logic: Foundation of K framework