Lightweight Formal Methods for the Development of High-Assurance Networking Systems
MetadataShow full item record
CitationKfoury, Assaf. "Lightweight Formal Methods for the Development of High-Assurance Networking Systems", Technical Report BUCS-TR-2009-035, Computer Science Department, Boston University, December 1, 2009. [Available from: http://hdl.handle.net/2144/1732]
We survey several of the research efforts pursued by the iBench and snBench projects in the CS Department at Boston University over the last half dozen years. These activities use ideas and methodologies inspired by recent developments in other parts of computer science -- particularly in formal methods and in the foundations of programming languages -- but now specifically applied to the certification of safety-critical networking systems. This is research jointly led by Azer Bestavros and Assaf Kfoury with the participation of Adam Bradley, Andrei Lapets, and Michael Ocean.