GitHub repository: yongjunshin/PASTA
Primary language: Java
Description: PASTA: an efficient proactive adaptation approach based on statistical model checking for self-adaptive systems