XSpeed: Accelerating Reachability Analysis on Multi-core Processors.
Rajarshi RayAmit GurungBinayak DasEzio BartocciSergiy BogomolovRadu GrosuPublished in: Haifa Verification Conference (2015)
Keyphrases
- reachability analysis
- multi core processors
- model checking
- markov decision processes
- parallel programming
- timed automata
- gene expression programming
- incremental algorithms
- computing resources
- multi core systems
- state space
- search algorithm
- theorem proving
- real time
- parallel algorithm
- data management
- reinforcement learning