Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

State Space Estimation for DPOR-based Model Checkers (Artifact)

20260 citationsOthergreen Open Access

Authors

A. R. Balasubramanian · Max Planck Institute for Software Systems

Mohammad Hossein Khoshechin Jorshari · Max Planck Institute for Software Systems

Rupak Majumdar · Max Planck Institute for Software Systems

Umang Mathur · National University of Singapore

Minjian Zhang · University of Illinois Urbana-Champaign

Topics & Keywords

Publication Details

Published in: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.19067256

State Space Estimation for DPOR-based Model Checkers (Artifact) | Researchclopedia