Re: [Sdn] SDN Application Verification

Ali Haider <ali.haider@seecs.edu.pk> Wed, 25 May 2016 20:13 UTC

Return-Path: <ali.haider@seecs.edu.pk>
X-Original-To: sdn@ietfa.amsl.com
Delivered-To: sdn@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id BEEC812DC76 for <sdn@ietfa.amsl.com>; Wed, 25 May 2016 13:13:41 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.7
X-Spam-Level:
X-Spam-Status: No, score=-2.7 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=seecs.edu.pk
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id zGbg1M3WsIJP for <sdn@ietfa.amsl.com>; Wed, 25 May 2016 13:13:39 -0700 (PDT)
Received: from mail-wm0-x22c.google.com (mail-wm0-x22c.google.com [IPv6:2a00:1450:400c:c09::22c]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 96F4C12DC57 for <sdn@irtf.org>; Wed, 25 May 2016 13:13:38 -0700 (PDT)
Received: by mail-wm0-x22c.google.com with SMTP id a136so142435542wme.0 for <sdn@irtf.org>; Wed, 25 May 2016 13:13:38 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=seecs.edu.pk; s=google; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=qzaX5OD9IkIcFN/IWpeZcIJcWmqbf2wtqkE/Hh6wKKk=; b=f9lG0P3DTAiPoKbEvRV9s8TS+A+kieu4/eopu/mIj1dSD9pNAocGHfWQT+kOLZ+4XA nBSO8MyEmXJ9l3FuW5svoD6D5st7MH6U7FZPHGbIL8wWvzfyFiGT0+O3qT+bpiMvRjbT yEhx18bF1aNN+q9FnzVUMOw0VVi9JTcjqzvFg=
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=qzaX5OD9IkIcFN/IWpeZcIJcWmqbf2wtqkE/Hh6wKKk=; b=K6sURSitnN96xadVc2w04eU2nhhZsI6ChgP8Asd2ILYKnDrZGWyeovXtmMALswW4x0 NZBw3UB+hJ6PAmte/WsUWTF6md7kgE1SeikZSTePLz0w2pvIlBZ8LxsfLxxaykxtVQv4 wrwygKcKS6hEVEBULGJ0LyCImmwm2346Lu4jA4Bceb1owDNPZYgqMhKarltltnuuQnf+ RQEoRv5IyFJcALSSJqRjIFtFHE68qonsIVgrOvWi/PczP/uHyVjJ7xuu7Qa7XXOqREqI gyn6FPhkf75U7dOviwa8b9LS9wTU2pw9fvR69RbP4VGf81HqMvmYxxXiJA+W/ilkBaic 8G5Q==
X-Gm-Message-State: ALyK8tKc0LCW+8zxukP3hjtCQRbeKglB3/ZFs9ciiS2Qn0eFzH4fufwu/jywjpK+NPG22Np+v/fL4XHSxgynJ9GM
X-Received: by 10.194.221.37 with SMTP id qb5mr5500961wjc.171.1464207217084; Wed, 25 May 2016 13:13:37 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.28.186.197 with HTTP; Wed, 25 May 2016 13:13:07 -0700 (PDT)
In-Reply-To: <CAG_4AMKaHupvePOu4mRLMTgF0SXitm+OQtrs-yAk_LWnueZD-g@mail.gmail.com>
References: <CAG_4AMKaHupvePOu4mRLMTgF0SXitm+OQtrs-yAk_LWnueZD-g@mail.gmail.com>
From: Ali Haider <ali.haider@seecs.edu.pk>
Date: Thu, 26 May 2016 01:13:07 +0500
Message-ID: <CABBaWRr0s6YsFx6cfJoZHi5Fx3i28JhXL+MQe5fRtCGdE2OS=Q@mail.gmail.com>
To: Nitin Shukla <nitin.csed@gmail.com>
Content-Type: multipart/alternative; boundary=001a11c3b5280d567e0533b04f14
Archived-At: <http://mailarchive.ietf.org/arch/msg/sdn/wJVpSaVrrvhk5k5UxBXYQlpD2Rg>
Cc: SDN IRTF list <sdn@irtf.org>
Subject: Re: [Sdn] SDN Application Verification
X-BeenThere: sdn@irtf.org
X-Mailman-Version: 2.1.17
Precedence: list
List-Id: List to Discuss SDN Research Group in the IRTF <sdn.irtf.org>
List-Unsubscribe: <https://www.irtf.org/mailman/options/sdn>, <mailto:sdn-request@irtf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/sdn/>
List-Post: <mailto:sdn@irtf.org>
List-Help: <mailto:sdn-request@irtf.org?subject=help>
List-Subscribe: <https://www.irtf.org/mailman/listinfo/sdn>, <mailto:sdn-request@irtf.org?subject=subscribe>
X-List-Received-Date: Wed, 25 May 2016 20:13:42 -0000

I believe this is not the right forum to look for an expert in Formal
Verification. You may want to track back from research articles (on formal
verification) and find author affiliations and get in touch with the
authors directly.

On Thu, May 19, 2016 at 5:11 PM, Nitin Shukla <nitin.csed@gmail.com> wrote:

> Dear All,
>
> Greetings.
>
> I am Nitin Shukla, a research scholar at MNNIT Allahabad, Allahabad India.
>
> I am currently working on a SDN project. I have coded an application using
> Floodlight and mininet.
>
> Now i am on to its formal verification so that i can prove that the flows
> written on switches  are formally correct. I also want to formally verify
> the correctness of my application.
> So please suggest me some Formal modeling and verification tool which can
> help me.
>
>
> Thanks and Regards,
>
> Nitin Shukla.
> Research Scholar
> (Department of Computer Science & Engineering)
> Motilal Nehru National Institute of Technology,
> Allahabad-211004, India.
>
> _______________________________________________
> sdn mailing list
> sdn@irtf.org
> https://www.irtf.org/mailman/listinfo/sdn
>
>


-- 
*​Syed Ali Haider*, Ph.D
​Assistant Professor
School of Electrical Engineering and Computer Science
National University of Sciences ​and​ Technology
Sector H-12, Islamabad, Pakistan
​t: +92 51 90852109
​e: ali.haider@seecs.edu.pk​
- - - - - - - - - - - - - - - - - - - - -