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

7 Citations (Scopus)

97 Downloads (Pure)

2 results
- Last Name(descending)

Robert James Stewart
- R.Stewarthw.acuk
- School of Mathematical & Computer Sciences - Associate Professor
- School of Mathematical & Computer Sciences, Computer Science - Associate Professor
Person: Academic (Research & Teaching)
Andrew Michael Wallace
- A.M.Wallacehw.acuk
- School of Engineering & Physical Sciences - Professor Emeritus
Person: Emeritus