Model Checking on Feed Forward (FF) Artificial Neural Network (ANN)

[Sarfaraz Ahmed]

Hello Everyone. 

How can we apply model checking on FF ANN ? As I searched this is how flow works :

- State transition diagram of FF DL network
- Model in CTMC
- Properties in PCTL

Is there anyway to do above steps in PRISM tool ?

Thank you.