alex-ren/6887psets
Problem Sets for MIT 6.887 Formal Reasoning About Programs
An ATS Plugin for IntelliJ IDEA.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Problem Sets for MIT 6.887 Formal Reasoning About Programs
Use ATS to generate models in Promela
Learning code of ATS-Postiats-contrib
Learning code of ATS-Postiats