Published January 31, 2023 | Version v4
Other Open

Optimal Stateless Model Checking based on View-equivalence (Artifact)

Authors/Creators

  • 1. Indian Institute of Technology Delhi

Description

This artifact is associated with the work, titled “Optimal Stateless Model Checking based on View-equivalence”.

Files

LICENSE.md

Files (6.0 GB)

Name Size Download all
md5:1ebbd3e34237af26da5dc08a4e440464
35.1 kB Preview Download
md5:8f03a61322585735825c6da4ebc61e86
3.0 kB Preview Download
md5:3984ccc613bd1afb4cab15c984c601ac
62 Bytes Download
md5:84fcad9441d43a328eab2adf50ab6306
6.0 GB Download