gitlab.com / MatthijsSpaans / vs-eca-analyser
Visual studio enabled version of RECA, analyser for the energy usage of hybrid systems (software and hardwaremodels). Extended with symbolic execution and over-estimating stragies for the summarization of iterative branching(loops)
JSON API: http://repos.ecosyste.ms/api/v1/hosts/gitlab.com/repositories/MatthijsSpaans%2Fvs-eca-analyser
PURL: pkg:gitlab/MatthijsSpaans/vs-eca-analyser
Stars: 0
Forks: 1
Open issues: 0
License: None
Language:
Dependencies parsed at: Pending
Created at: over 6 years ago
Updated at: over 5 years ago
Last synced at: over 2 years ago
Topics: Energy analysis, SMT, Symbolic execution, z3
Loading...