Study Cases for LLBMC
33 views
Skip to first unread message
Hernan Nieto
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