Pinned Repositories
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.
Mechanized-SD
Towards Mechanized Semantics of UML SD and refinement relation
pattern-spec
UML2Coq
metamodeling level transform tools from UML specification to Coq specification
VerifySD
Verification of UML Sequence Diagrams in Coq
lisa-dou's Repositories
lisa-dou/UML2Coq
metamodeling level transform tools from UML specification to Coq specification
lisa-dou/Mechanized-SD
Towards Mechanized Semantics of UML SD and refinement relation
lisa-dou/VerifySD
Verification of UML Sequence Diagrams in Coq
lisa-dou/pattern-spec
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.