Tuesday, 21 March 2023


  • 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

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 © 2023 Computer Society Of India. All rights reserved.. Maintained and Hosted by Nuvodev

  • Last Updated: Monday 06, May 2019.