Verification of Flow-Based Computing Systems Using Bounded Model Checking.
Sven ThijssenSuraj SingireddyMuhammad Rashedul Haq RashedSumit Kumar JhaRickard EwetzPublished in: ICCAD (2023)
Keyphrases
- computing systems
- bounded model checking
- model checking
- formal verification
- temporal logic
- computer systems
- linear temporal logic
- computing technologies
- parallel computing
- autonomic computing
- model checker
- multi agent systems
- computing platform
- autonomic computing systems
- ubiquitous computing environments
- formal methods
- high end
- software developers
- databases
- open source
- heterogeneous systems
- concurrent systems
- software engineering
- data mining
- hardware platforms