[Colloq] Thesis Proposal: A Refinement-based Approach to Reason About Optimized Reactive Systems | Speaker: Mitesh Jain | Date: 4/26/16 Time: 3:00pm-4:00pm Location: 366WVH

[Walker, Lashauna]

Topic: Thesis Proposal
Title: A Refinement-based Approach to Reason About Optimized Reactive Systems
Speaker: Mitesh Jain
Date: Tuesday, April 26
Time: 3:00pm-4:00pm
Location: 366WVH

Title: A Refinement-based Approach to Reason About Optimized Reactive Systems

Abstract:

We introduce refinement-based methods for analyzing the correctness of reactive systems. We propose skipping refinement, a new notion of refinement that extends the domain of applicability of refinement to include optimized reactive systems, systems that can run ``faster'' than their abstract high-level specifications. We develop a theory of skipping refinement and associated proof methods that are amenable to mechanized reasoning using existing verification tools. We also show that refinement can be used as part of an effective simulation-based testing methodology for reactive systems. We evaluate our work using several case studies.


Committee:
Panagiotis Manolios (Advisor)
Amal Ahmed
Olin Shivers
John O'Leary (Intel Corporation)

Proposal Web Page:
http://www.ccs.neu.edu/home/jmitesh/proposal.html


Thank You.

LaShauna Walker
Events and Administrative Specialist
College of Computer and Information Science
Northeastern University
617-373-2763
Facebook<https://www.facebook.com/ccisatnu?ref=hl> | Instagram<https://instagram.com/ccisatnu/> | LinkedIn<https://www.linkedin.com/groups/Northeastern-University-College-Computer-Information-1943637?gid=1943637&mostPopular=&trk=tyah&trkInfo=idx%3A1-1-1%2CtarId%3A1426606862845%2Ctas%3ANortheastern+University+College+of+Com> | Twitter<https://twitter.com/CCISatNU>