![Formal methods / Software engineering / Computing / Logic in computer science / Non-interference / Exception handling / Formal verification / Refinement / Thread / Futures and promises / Covert channel / Application programming interface Formal methods / Software engineering / Computing / Logic in computer science / Non-interference / Exception handling / Formal verification / Refinement / Thread / Futures and promises / Covert channel / Application programming interface](https://www.pdfsearch.io/img/b115547be0a2cfcf1226ca5a66e9ab6c.jpg) Date: 2018-09-27 23:32:05Formal methods Software engineering Computing Logic in computer science Non-interference Exception handling Formal verification Refinement Thread Futures and promises Covert channel Application programming interface | | Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of WashingtonAdd to Reading ListSource URL: unsat.cs.washington.eduDownload Document from Source Website File Size: 408,14 KBShare Document on Facebook
|