Work

Artifact of Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks

Year: 2025

Type: article

Abstract: The upload contains the artifact (benchmarks, binaries, baselines and logfiles) of the Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.15132838

Authors: Mohimenul, Kabir, Van-Giang, Trinh, Samuel, Pastva, Kuldeep S, Meel

Institutions: National University of Singapore, Centre Inria de Saclay, Masaryk University, Georgia Institute of Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6930675978

FWCI:

Cites:

Cited by:

Related to: