rest of euclidean division with prism

5 views

Skip to first unread message

Fatma Gara

unread,

Jun 29, 2017, 7:24:38 AM6/29/17

to prismmod...@googlegroups.com

Hello

Can anybody tell me how to model the rest of euclidean division with prism model checker

Thanks

Best regards

Mana M.

unread,

Aug 27, 2017, 9:28:52 AM8/27/17

to PRISM model checker

Dear Fatma,

I am a master student and would like to do a work cooperation by using PRISM.
Kindly, if you are interesting reply me to discuss it.

Thank you