Fast Parametric Model Checking through Model Fragmentation

Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Finished

UKRI Trustworthy Autonomous Systems Node in Resilience
Calinescu, R. (Principal investigator), Arvind, T. (Co-investigator), Cavalcanti, A. L. C. (Co-investigator), Habli, I. (Co-investigator), Thomas, A. P. (Co-investigator) & Wilson, J. C. (Co-investigator)
EPSRC
1/11/20 → 31/10/24
Project: Research project (funded) › Research