Study Cases for LLBMC

31 views
Skip to first unread message

Hernan Nieto

unread,
Apr 30, 2014, 1:10:24 PM4/30/14
to ll...@googlegroups.com
Hi! I'm currently studying model checkers at my university (FaMAF, UNC, Argentina), I'm prone to try LLBMC but I'm having a hard time finding study cases related to this tool. If anyone knows where to find some I'll be extremely grateful.

Please excuse my English and have a nice day to you all.
Hernán Nieto.
Reply all
Reply to author
Forward
0 new messages