The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 |
Newsgroups: fa.caml
From: "Yoriyuki Yamagata" <yoriyuk...@gmail.com>
Date: Sat, 23 Sep 2006 18:10:27 UTC
Local: Sat, Sep 23 2006 2:10 pm
Subject: [Caml-list] Re: [ANN]BrainScan - A source-code model checker for BrainF*ck
2006/9/24, Yoriyuki Yamagata <yoriyuk...@gmail.com>:
> BrainScan is a simple source-code model checker for BrainF*ck. It I forgot the URL. You can obtain BrainScan from > uses depth-first search with states in the buffer cells represented as > sets of integer intervals. http://www15.ocn.ne.jp/~rodinia/brainscan.tar.gz -- _______________________________________________ You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
| |||||||||||||