Seamless composition and integration: a perspective on formal methods research
MetadataShow full item record
CitationBestavros, 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]
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.