Pinned Repositories
ADTree-maude
Attack-Defence Trees in Maude
ccReact
A interaction language for implementing and verifying Reaction Systems
EventB2Maude
init-web
java-dist
Slides of Distributed Java Programming (USPN)
L-framework
This tool aims at developing techniques for proving structural properties of sequent systems using rewriting logic (Maude)
Linear-Logic-Prover-in-Maude
Provers for intuitionistic and classical linear logic plus a set of benchmarks inspired from Kleene’s intuitionistic theorems
lip-ect
Aulas LIP ECT
POO-ECT
Disciplina Programação Orientada a Objeto ECT-UFRN
Topicos-ECT
Slides disciplina Tópicos Avançados II (Programação Funcional)
carlosolarte's Repositories
carlosolarte/Linear-Logic-Prover-in-Maude
Provers for intuitionistic and classical linear logic plus a set of benchmarks inspired from Kleene’s intuitionistic theorems
carlosolarte/ADTree-maude
Attack-Defence Trees in Maude
carlosolarte/init-web
carlosolarte/Topicos-ECT
Slides disciplina Tópicos Avançados II (Programação Funcional)
carlosolarte/L-framework
This tool aims at developing techniques for proving structural properties of sequent systems using rewriting logic (Maude)
carlosolarte/POO-ECT
Disciplina Programação Orientada a Objeto ECT-UFRN
carlosolarte/ccReact
A interaction language for implementing and verifying Reaction Systems
carlosolarte/EventB2Maude
carlosolarte/java-dist
Slides of Distributed Java Programming (USPN)
carlosolarte/lip-ect
Aulas LIP ECT
carlosolarte/petri-nets-2025
carlosolarte/RESPEG
Rewriting Semantics for PEGs
carlosolarte/summer-school-logic
Slides and exercises for the summer school on substructural and model logic. Pamplona June 2024.
carlosolarte/tutorial-emavi