Wednesday, 21 April 2021


  • Home
  • About CSI
    • CSI - India Website
    • CSI - Bangalore Chapter
      • Chairperson's Message
    • CSI - Student Chapters
    • CSI - SIG - Information Security
    • CSI - SIG - Formal Methods
      • Newsletter
      • SIG-FM Events
      • Presentation of NCFM 2014
      • NCFM Photos
    • CSI - NCFMSE
    • CSI - ESDM Workshop
  • Our Team
  • Membership
  • Students Branch
  • Events
  • AGM E Report
  • Knowledge Base
    • Articles
  • Contact Us

Presentation of NCFM 2014

Presentations

  • What are formal methods?
  • Deductive Verification of C Programs
  • Race Detection for Android Applications
  • VCC Examples
  • Functional correctness via refinement
  • Refinement-Based Proofs of Functional Correctness
  • Statistical Model Checking
  • Architectural Semantics of AADL using Event-B
  • Program Analysis for Industrial Automation Systems
  • Why should we use formal methods?
  • Probabilistic Programming: A Program Analysis Perspective
  • Software Development Using Formal Methods
  • Validation Methods
  • Presentation for CSI Development Airbone
  • Formal Methods Assurance Safety

Upcoming Events

Dec 17 2020, Dec 18 2020
Online Conference on IT in Defence

PPT about CSI

Social Links

       

Contact

Computer Society of India, Bangalore Chapter, No. 201, M.B.C, Infantry Road, Bangalore – 560 001

Quick Links

  • Students Branch
  • CSI India
  • Join CSI

ABOUT US

Computer Society of India, Bangalore Chapter (CSI-BC) is amongst the largest and most vibrant chapters of CSI. Programs conducted by CSI-BC have been benchmark programs for other chapters of CSI and event managers alike. Many industry stalwarts are associated with CSI-BC.

Copyright © 2021 Computer Society Of India. All rights reserved.. Maintained and Hosted by Nuvodev

  • Last Updated: Monday 06, May 2019.