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
|