There is a newer version of the record available.

Published January 18, 2024 | Version v1
Software Open

Abstract Data-Flow-Based Statement Reduction for Model Checking Concurrent Software

Authors/Creators

  • 1. ROR icon Budapest University of Technology and Economics

Files

README.md

Files (710.0 MB)

Name Size Download all
md5:837d14c57fac3e522e62cb01f72bbe24
710.0 MB Download
md5:3b83ef96387f14655fc854ddc3c6bd57
11.4 kB Download
md5:a8700efa6e908bfe21ad522b921a9526
6.1 kB Preview Download