Back to Results
First PageMeta Content
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


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 Washington
Add to Reading List

Document Date: 2018-09-27 23:32:05


Open Document

File Size: 408,14 KB

Share Result on Facebook