Open access dataset for "Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs"

Research output

Research output per year 2019 2019 2019

• 1 Article

Research output per year

Research output per year

Search results

• 2019

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

  Stewart, R., Berthomieu, B., Garcia, P., Ibrahim, I., Michaelson, G. & Wallace, A., Dec 2019, In: Journal of Systems Architecture. 101, 101657.

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

  Open Access

  File

  • Temporal logic 100%
  • Model checking 90%
  • Field programmable gate arrays (FPGA) 69%
  • Computer programming 30%
  • Real time systems 28%
  2 Citations (SciVal)

  31 Downloads (Pure)