LCF-style Platform based on Multiway Decision Graphs

DOI10.1016/j.entcs.2009.07.012zbMath1347.68299OpenAlexW2013754071MaRDI QIDQ4982624

Sa'ed Abed, Otmane Ait Mohamed

Publication date: 9 April 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.012

zbMATH Keywords

performanceinference rulesmultiway decision graphsLCF-style

Mathematics Subject Classification ID

Uses Software

• KRAKATOA
• Why3
• Caduceus
• HOL
• Bandera
• MDGs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the non-termination of MDG-based abstract state enumeration
• Edinburgh LCF. A mechanized logic of computation
• Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover
• Graph-Based Algorithms for Boolean Function Manipulation
• Programming Combinations of Deduction and BDD-based Symbolic Calculation
• Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs)
• Automated Technology for Verification and Analysis

This page was built for publication: LCF-style Platform based on Multiway Decision Graphs