mariefarrell

Pinned Repositories

accelerating-autonomy-workshop.github.io
Language:HTML00
curiosity-NFM2020
Simulation and verification of the Mars Curiosity Rover as described in the NFM 2020 paper.
Language:Python2 7 01
FMASWorkshop.github.io
The Website for the FMAS Workshop
Language:HTML10
abz2024
10
CAMVerification
Language:C12
EB2EVT
Language:Haskell00
Hets
The Heterogeneous Tool Set
Language:Haskell01
mariefarrell.github.io
Language:HTML00
MUVerifyThis2021
Language:Dafny00
phdartefacts
Language:Haskell00

mariefarrell's Repositories

mariefarrell/mariefarrell.github.io
Language:HTML
mariefarrell/abz2024
1
mariefarrell/MUVerifyThis2021
Language:Dafny
mariefarrell/CAMVerification
Language:C12
mariefarrell/EB2EVT
Language:Haskell
mariefarrell/phdartefacts
Language:Haskell
mariefarrell/Hets
The Heterogeneous Tool Set
Language:Haskell1