Toolset to capture, simulate, synthesize and verify graph models
Design by contract extension to Java using annotations and bytecode injection
My third year University dissertation, Term Rewriting System
Specification and formal verification of traffic light control system.
15 places where the JDK contradicts its own documentation, each with a one-command reproducer. Found by deriving test obligations from formal specifications of the Javadoc.
Add a description, image, and links to the formal-specification topic page so that developers can more easily learn about it.
To associate your repository with the formal-specification topic, visit your repo's landing page and select "manage topics."