Published January 18, 2024 | Version v2
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 (820.9 MB)

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