Lightweight Formal Methods for the Development of High-Assurance Networking Systems
Data(s) |
20/10/2011
20/10/2011
01/12/2009
|
---|---|
Resumo |
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. |
Identificador |
Kfoury, 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] |
Idioma(s) |
en_US |
Publicador |
Boston University Computer Science Department |
Relação |
BUCS Technical Reports;BUCS-TR-2009-035 |
Tipo |
Technical Report |