lisa-dou/VerifySD
Verification of UML Sequence Diagrams in Coq
Public GitHub Catalog
Discovered Sep 26, 2026
lisa-dou / pattern-spec
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#5829384GitHub 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