FPGASwarm: High Throughput Model Checking on FPGAs.
Shenghsun ChoMichael FerdmanPeter A. MilderPublished in: FPL (2018)
Keyphrases
- high throughput
- model checking
- temporal logic
- genome wide
- microarray
- biological data
- systems biology
- formal verification
- model checker
- temporal properties
- timed automata
- symbolic model checking
- finite state machines
- automated verification
- genomic data
- concurrent systems
- transition systems
- computation tree logic
- formal specification
- formal methods
- mass spectrometry data
- reactive systems
- bounded model checking
- protein protein interactions
- epistemic logic
- pspace complete
- asynchronous circuits
- verification method
- mass spectrometry
- gene expression
- reachability analysis
- data acquisition
- deterministic finite automaton
- linear temporal logic
- pattern recognition
- web services
- gene expression data
- proteomic data
- embedded systems
- artificial intelligence