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 6, 2026
xiaohe27 / java-semantics
The semantics of Java in K
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.
#33450395GitHub System ID
xiaohe27Organization / User
PublicVisibility
ActiveCatalog Status
More from xiaohe27
xiaohe27/Tasks
The tasks that are going to be executed
xiaohe27/enforcemoptests
EnforceMOP properties and tests
xiaohe27/k
The K tools