lisa-dou/VerifySD
Verification of UML Sequence Diagrams in Coq
Public GitHub Catalog
Discovered Oct 5, 2026
lisa-dou / UML2Coq
metamodeling level transform tools from UML specification to Coq specification
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.
#28631355GitHub System ID
lisa-douOrganization / User
PublicVisibility
ActiveCatalog Status
More from lisa-dou
lisa-dou/software-foundation-2012
My exercises in a "Software Foundations" course. Refer to http://www.cis.upenn.edu/~bcpierce/sf/ . The course is about the foundations of programming languages, using Coq.
lisa-dou/Mechanized-SD
Towards Mechanized Semantics of UML SD and refinement relation
lisa-dou/pattern-spec
Public repository.