information-flow

Here is 1 public repository matching this topic...

D-Parkinson1 / DafnyInfoFlow

An extension of the Dafny programming language that adds the ability to perform information flow analysis on a code file. The method of information flow analysis allows the verification of concurrent programs.

dafny information-flow information-security-and-assurance

Updated Dec 4, 2021
C#

Improve this page

Add a description, image, and links to the information-flow topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the information-flow topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

information-flow

Here is 1 public repository matching this topic...

D-Parkinson1 / DafnyInfoFlow

Improve this page

Add this topic to your repo