Seamless composition and integration: a perspective on formal methods research

Date
2012-02-07
DOI
Authors
Bestavros, Azer
Kfoury, Assaf
Lapets, Andrei
Version
OA Version
Citation
Bestavros, Azer; Kfoury, Assaf; Lapets, Andrei. "Seamless Composition and Integration: A Perspective on Formal Methods Research", Technical Report BUCS-TR-2012-001, Computer Science Department, Boston University, February 7, 2012. [Available from: http://hdl.handle.net/2144/11389]
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.
Description
License