Static Analyzer for Computing WCET of Multithreaded Programs using Hoare's CSP.

P. Padma Priya Dharishini Prakriya Ramana Murthy

Published in: ISEC (2022)

Keyphrases

constraint satisfaction problems
databases
search engine
data structure
search algorithm
dynamic analysis
decomposition methods
constraint solving
tree decomposition
automatic programming