xiaohe27/K-Spec-Gen
Generate k-spec from annotated java file which can be used as the input of k verifier
Public GitHub Catalog
Discovered Oct 19, 2026
xiaohe27 / Tasks
The tasks that are going to be executed
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#39608444GitHub System ID
xiaohe27Organization / User
PublicVisibility
ActiveCatalog Status
More from xiaohe27
xiaohe27/enforcemoptests
EnforceMOP properties and tests
xiaohe27/k
The K tools
xiaohe27/java-semantics
The semantics of Java in K