1 / 9

Workshop on Formal Methods in Safety Critical Applications 2002

Join us at the 2nd Workshop on Formal Methods in Safety Critical and Industrial Applications, with themes like Software Verification using Theorem Proving and Hardware Verification using Model Checking. Participants welcome!

trish
Download Presentation

Workshop on Formal Methods in Safety Critical Applications 2002

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 2ndWorkshop on Formal Methods in Safety Critical and Industrial Applications – 2002 ( 2 – 5 December 2002, KReSIT Auditorium) Welcome to all Participants and Guests Inauguration

  2. Inaugural Program

  3. Mission of CFDVS R & D Resources V & V Ed.&Tr.

  4. Participants Total Participants : 33

  5. Date: 02nd Dec. 2002 Theme : Software Verification using Theorem Proving

  6. Date : 03rd Dec. 2002 Theme : Hardware Verification using Model Checking

  7. Date: 04th Dec. 2002Theme : Software verification using Model Checking

  8. Date : 05th Dec. 2002Theme : Hardware Verification using Theorem Proving

  9. Venue of Lectures and Labs For Lectures : KReSIT Audi.:KReSIT Auditorium For Labs: IECR :Institute Electronic Class Room, No. SIC101, C wing, 1st Flr. KReSIT Bldg.

More Related