Operations on fixpoint equation systems

DOI10.46298/LMCS-20(3:5)2024MaRDI QIDQ6597955zbMATH OpenFDO

Authors Thomas Neele, Jaco van de Pol

Publication date 4 September 2024

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-20(3:5)2024

zbMATH Keywords

complete latticefixpoint equation system

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• A Brief Overview of PVS
• A lattice-theoretical fixpoint theorem and its applications
• A linear-time model-checking algorithm for the alternation-free modal mu- calculus
• Abstract Dependency Graphs and Their Application to Model Checking
• Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10--14, 2000. Revised lectures
• Deciding parity games in quasipolynomial time
• Efficient on-the-fly model-checking for regular alternation-free -calculus
• Energy parity games
• Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
• Fast and simple nested fixpoints
• Fixed point theorems and semantics: A folk tale
• Fold/unfold transformations for fixpoint logic
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 3707731 (Why is no real title available?)
• scientific article; zbMATH DE number 1303726 (Why is no real title available?)
• scientific article; zbMATH DE number 1903371 (Why is no real title available?)
• scientific article; zbMATH DE number 7559481 (Why is no real title available?)
• Invariants for parameterised Boolean equation systems
• Model checking and boolean graphs
• Model-checking processes with data
• Parameterised Boolean equation systems
• Programming languages and their definition. Selected papers ed. by C. B. Jones
• Quasipolynomial computation of nested fixpoints
• Solving parity games in practice
• Temporal verification of programs via first-order fixpoint logic
• Tools and Algorithms for the Construction and Analysis of Systems
• Universal algorithms for parity games and nested fixpoints
• Verification of reactive systems via instantiation of parameterised Boolean equation systems

This page was built for publication: Operations on fixpoint equation systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6597955)