There is a newer version of the record available.

Published January 31, 2023 | Version v2
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 (5.9 GB)

Name Size Download all
md5:1ebbd3e34237af26da5dc08a4e440464
35.1 kB Preview Download
md5:3984ccc613bd1afb4cab15c984c601ac
62 Bytes Download
md5:993546c7088094d08e410926fc29447d
5.9 GB Download