From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.2 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 075FBBC68 for ; Sat, 23 Sep 2006 20:06:59 +0200 (CEST) Received: from py-out-1112.google.com (py-out-1112.google.com [64.233.166.183]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8NI6wT6021674 for ; Sat, 23 Sep 2006 20:06:58 +0200 Received: by py-out-1112.google.com with SMTP id f25so1680685pyf for ; Sat, 23 Sep 2006 11:06:55 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=WzYyAAMCfUQ1H4ZfUKFx67C73kwz1U37aPArLyzsbrpGL0Mm2dYFLe0r5ehrgpEf9YAXCUll59MkyvDaerG+pIDBFc/Hea1JCLVLKGRz4/GEokD0rn4VXjV7JrzZLzx/xo95dz2gZyPTPYx886ll39yE/Kmeh9B2H8wOqTbe7A4= Received: by 10.35.123.10 with SMTP id a10mr3630580pyn; Sat, 23 Sep 2006 11:06:55 -0700 (PDT) Received: by 10.35.71.15 with HTTP; Sat, 23 Sep 2006 11:06:55 -0700 (PDT) Message-ID: Date: Sun, 24 Sep 2006 03:06:55 +0900 From: "Yoriyuki Yamagata" To: "Caml List" Subject: Re: [ANN]BrainScan - A source-code model checker for BrainF*ck In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: X-j-chkmail-Score: MSGID : 451577C2.000 on discorde : j-chkmail score : X : 0/20 1 X-Miltered: at discorde with ID 451577C2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; yoriyuki:01 yamagata:01 yoriyuki:01 source-code:01 model:01 checker:01 yamagata:01 source-code:01 model:01 checker:01 depth-first:01 buffer:01 2006:98 15.:98 integer:01 2006/9/24, Yoriyuki Yamagata : > BrainScan is a simple source-code model checker for BrainF*ck. It > uses depth-first search with states in the buffer cells represented as > sets of integer intervals. I forgot the URL. You can obtain BrainScan from http://www15.ocn.ne.jp/~rodinia/brainscan.tar.gz -- Yamagata Yoriyuki