Published May 6, 2024
| Version v4
Software
Open
Automated Proof Tactics for Model Transformation (artifact)
-
1.
Nantes Université
-
2.
IMT Atlantique
Description
Source code that comes with the article Automated Proof Tactics for Model Transformation (submitted to publication).
Correspondence between listings in the paper and effective source code :
| Listing 1 | Moore2Mealy/Moore2Mealy.v |
| Listing 2 | Moore2Mealy/theorems/Elements.v |
| Listing 3 | Moore2Mealy/theorems/Elements.v |
| Listing 4 | Moore2Mealy/theorems/SemanticsPreservation.v |
| Listing 5 | Moore2Mealy/theorems/ElementsAlt.v (and others) |
| Listing 6 | Moore2Mealy/theorems/Elements.v |
| Listing 7 | TacticsFW.v (simplified from the paper) |
| Listing 8 | SemanticsTools.v |
| Listing 9 | TacticsFW.v (simplified from the paper) |
| Listing 10 | Moore2Mealy/theorems/Elements.v |
| Listing 11 | TacticsBW.v |
| Listing 12 | TacticsBW.v |
| Listing 13 | TacticsBW.v |
| Listing 14 | Class2Relational/theorems/Elements.v |
| Lisiting 15 | Class2Relational/theorems/Elements.v |
Files
CoqTLTactics-2.2.zip
Files
(216.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:46e0f464fc8b87c2d285b180f46dbf79
|
216.4 kB | Preview Download |