KASTEL-CSSDA

Popular repositories Loading

1. SolidityMetaModel SolidityMetaModelPublic

   Ecore-Model for Solidity Smart Contracts

   Java 2

2. SolidityCodeGenerator SolidityCodeGeneratorPublic

   Code Generator for SolidityMetaModel

   Xtend 1

3. PCM2Java4Joana PCM2Java4JoanaPublic archive

   Forked from JohannesHaering/PCM2Java4Joana

   Java 1

4. SolidityAccessControlEnforcement SolidityAccessControlEnforcementPublic

   Modeling and formally enforcing role-based access control policies for smart contracts

   Java 1

5. CouplingPatternbasedCodeAnalyses CouplingPatternbasedCodeAnalysesPublic archive

   Java 2

6. AccessAnalysis AccessAnalysisPublic

   Java