Title: Seamless Composition and Integration: A Perspective on Formal Methods Research

Authors: Azer Bestavros, Assaf Kfoury, and Andrei Lapets

Date: February 17, 2012


Abstract:

Formal methods are now a central component of computer-science
education and research. However, there will always be advances in
mathematical logic -- a.k.a. `formal methods' among computer
scientists -- leading to advances in reliable, safe and secure
computing. There are many research directions that will promote
the impact of formal methods on computer science in significant
and novel ways. We outline two directions, each associated with
its own research challenges, that are complementary to the current
state-of-the-art: one of composability and one of integration,
each considered in a specific context drawn from our own recent
research and teaching experience. We try to clarify why the study
and ultimate resolution of these two challenges hold the promise
of important breakthroughs in the accessability of formal methods
and, ultimately, their applicability.