selig

University of Manchester

Pinned Repositories

ARVI_WG2
Information related to the ARVI COST action WG2
Language:TeX0 3 00
comp24412_website
Language:HTML0 3 00
comp26120_website
Language:HTML0 4 00
parmon
Parallel Runtime Monitoring
0 2 00
prm4j-eval
Evaluation environment for prm4j.
Language:AspectJ0 2 00
qea
The runtime verification QEA tool
Language:Java4 5 03
qea_to_rules
Language:Scala0 2 00
ruler2
Language:Java0 2 00
rvBench
This repository has been created to store Benchmarks for Runtime Verification
0 2 00
RVsuggestEdit
Language:Scala0 2 00

selig's Repositories

selig/qea
The runtime verification QEA tool
Language:Java4 5 03
selig/ARVI_WG2
Information related to the ARVI COST action WG2
Language:TeX0 3 00
selig/comp24412_website
Language:HTML0 3 00
selig/comp26120_website
Language:HTML0 4 00
selig/parmon
Parallel Runtime Monitoring
0 2 00
selig/prm4j-eval
Evaluation environment for prm4j.
Language:AspectJ0 2 00
selig/qea_to_rules
Language:Scala0 2 00
selig/ruler2
Language:Java0 2 00
selig/rvBench
This repository has been created to store Benchmarks for Runtime Verification
0 2 00
selig/RVsuggestEdit
Language:Scala0 2 00
selig/RVtranslate
A suite of tools aimed at translating between different specification languages for Runtime Verification
Language:Scala2 0
selig/vampire_testing_2019
Language:Python1 01
selig/vase
2 0