ariesco

Associate Professor at Universidad Complutense de Madrid.

Universidad Complutense de MadridMadrid

Pinned Repositories

CafeInMaude
Translation from CafeOBJ to Maude
Language:TeX5 5 42
chisel
Chisel is a Maude tool for slicing programs whose semantics has been previously specified in Maude.
0 2 00
MCPS
Model checking parameterized by the semantics in Maude
0 2 00
MSpark
Maude abstraction for Spark
0 2 00
MUnit
2 4 12
navigation2
ROS2 Navigation https://ros-planning.github.io/navigation2/
Language:C++0 1 00
pathway
0 2 01
proof-scores-survey
Examples for the survey on proof scores
0 2 00
SmartContractsInMaude
2 3 01
tweetSuccess
Language:Jupyter Notebook1 3 00

ariesco's Repositories

ariesco/CafeInMaude
Translation from CafeOBJ to Maude
Language:TeX5 5 42
ariesco/MUnit
2 4 12
ariesco/SmartContractsInMaude
2 3 01
ariesco/tweetSuccess
Language:Jupyter Notebook1 3 00
ariesco/chisel
Chisel is a Maude tool for slicing programs whose semantics has been previously specified in Maude.
0 2 00
ariesco/MCPS
Model checking parameterized by the semantics in Maude
0 2 00
ariesco/MSpark
Maude abstraction for Spark
0 2 00
ariesco/navigation2
ROS2 Navigation https://ros-planning.github.io/navigation2/
Language:C++0 1 00
ariesco/pathway
0 2 01
ariesco/proof-scores-survey
Examples for the survey on proof scores
0 2 00
ariesco/sscheck
ScalaCheck for Spark
Language:Scala2 0
ariesco/webCITP
Webpage for the CITP
Language:HTML2 0