Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs

Robert Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew Wallace

Research output: Contribution to journal › Article › peer-review

5 Citations (Scopus)

52 Downloads (Pure)

1 results
- Title
- Start date(ascending)

Open access dataset for "Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs"
Stewart, R. J. (Creator), Heriot-Watt University, 10 Sept 2019
DOI: 10.17861/85ff96b4-2c6b-4f58-8322-74f0ab45f684
Dataset