Model Checking Support for the ASM High-Level Language
No abstract available.
Related papers
- Keeping the asm in Wasm: Running High-Level Languages on a Low-Level VM (Invited Talk) DLS 2023
- DimSum: A Decentralized Approach to Multi-language Semantics and Verification POPL 2023
- ASM-SpMM: Unleashing the Potential of Arm SME for Sparse Matrix Multiplication Acceleration PPoPP 2026
- π-Red+ An Interactive Compiling Graph Reduction System for an Applied λ-Calculus JFP 1996
- The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration TACAS 2001
- Self-stabilization preserving compiler TOPLAS 2009
- Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings CAV 2004
- Model Checking Distributed Protocols in Must OOPSLA 2024