This repository contains the results of the master thesis on probabilistic vulnerability analysis by Rick Hindriks for TNO.
- Source and JARs for the model transformation tools developed for this research
- IEAATParser, converts P²CySeMoL models to the PVA and PVAI models
- Analysis Generator, generates ProbLog programs from PVA and PVAI models
- Model transformation scripts for PVA->ProbLog, PVAI->ProbLog and ProbLog->Text
- Ecore model definitions of the PVA, PVAI and ProbLog models
- Thesis PDF