Copertina

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Keiren, Jeroen J. A., Wesselink, Wieger, Willemse, Tim A. C.
Natura:	Preprint
Pubblicazione:	2013
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Structural Analysis of Boolean Equation Systems
di: Keiren, Jeroen, et al.
Pubblicazione: (2010)

Stuttering Equivalence for Parity Games
di: Cranen, Sjoerd, et al.
Pubblicazione: (2011)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
di: Stramaglia, Anna, et al.
Pubblicazione: (2025)

Benchmarks for Parity Games (extended version)
di: Keiren, Jeroen J. A.
Pubblicazione: (2014)

Tutorial: Designing Distributed Software in mCRL2
di: Groote, Jan Friso, et al.
Pubblicazione: (2021)

Expressiveness Results for Timed Modal Mu-Calculi
di: Cleaveland, Rance, et al.
Pubblicazione: (2023)

Deadlock in packet switching networks
di: Stramaglia, Anna, et al.
Pubblicazione: (2021)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
di: Jansen, David N., et al.
Pubblicazione: (2019)

Fair Mutual Exclusion for N Processes (extended version)
di: Hafidi, Yousra, et al.
Pubblicazione: (2021)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
di: Spronck, Myrthe, et al.
Pubblicazione: (2024)

Static Analysis of Logic Programs via Boolean Networks
di: Trinh, Van-Giang, et al.
Pubblicazione: (2024)

Satisfiability of Quantified Boolean Announcements
di: van Ditmarsch, Hans, et al.
Pubblicazione: (2022)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
di: Lyon, Tim S.
Pubblicazione: (2024)

Compositional Control-Driven Boolean Circuits
di: Arellanes, Damian
Pubblicazione: (2025)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

Modelling the Raft Distributed Consensus Protocol in mCRL2
di: Bora, Parth, et al.
Pubblicazione: (2024)

Boolean basis, formula size, and number of modal operators
di: Berkholz, Christoph, et al.
Pubblicazione: (2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
di: Lyon, Tim S.
Pubblicazione: (2024)

Bridging abstract dialectical argumentation and Boolean gene regulation
di: Azpeitia, Eugenio, et al.
Pubblicazione: (2024)

A Note on the Parameterised Complexity of Coverability in Vector Addition Systems
di: Pilipczuk, Michał, et al.
Pubblicazione: (2025)

Constructing Weakly Terminating Interface Protocols
di: Bera, Debjyoti, et al.
Pubblicazione: (2026)

Symmetries of Dependency Quantified Boolean Formulas
di: Hofstadler, Clemens, et al.
Pubblicazione: (2024)

On Top-Down Pseudo-Boolean Model Counting
di: Yang, Suwei, et al.
Pubblicazione: (2025)

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT
di: Lommen, Nils, et al.
Pubblicazione: (2024)

Simplifier: A New Tool for Boolean Circuit Simplification
di: Averkov, Daniil, et al.
Pubblicazione: (2025)

Bringing memory to Boolean networks: a unifying framework
di: Gadouleau, Maximilien, et al.
Pubblicazione: (2024)

Practical Boolean Decomposition for Delay-driven LUT Mapping
di: Calvino, Alessandro Tempia, et al.
Pubblicazione: (2024)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
di: Rustenholz, Louis, et al.
Pubblicazione: (2024)

Customizing Static Analysis using Codesearch
di: Hayoun, Avi, et al.
Pubblicazione: (2024)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
di: Lyon, Tim S.
Pubblicazione: (2023)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
di: Lyon, Tim S.
Pubblicazione: (2024)

Static Analysis of Recursive SHACL
di: Oudshoorn, Anouk, et al.
Pubblicazione: (2026)

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
di: Averkov, Daniil, et al.
Pubblicazione: (2024)

Operations on Fixpoint Equation Systems
di: Neele, Thomas, et al.
Pubblicazione: (2023)

Deciding Equations in the Time Warp Algebra
di: van Gool, Sam, et al.
Pubblicazione: (2023)

Deciding Boolean Separation Logic via Small Models (Technical Report)
di: Dacík, Tomáš, et al.
Pubblicazione: (2024)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2026)

On the Number of Quantifiers Needed to Define Boolean Functions
di: Carmosino, Marco, et al.
Pubblicazione: (2024)

Model Counting for Dependency Quantified Boolean Formulas
di: Fung, Long-Hin, et al.
Pubblicazione: (2025)