CISTER research center

CISTER research center's repositories

coreVVML

Analyser of a core subset of VVML (Verification & Validation Modelling Language)

Language:Scala1 30

uppex

Uppex - extend UPPAAL with annotations for properties in companion MS Excel files

Language:ScalaMIT1 10

apoo

Simulator of the Apoo assembly language

000

fvoca-hoare

This repository provides the code base that implements VCGens based on Hoare Logic for a simple imperative language.

Language:PythonMIT000

fvoca2122

Content for the FVOCA course for the 2nd semester of the MScCCSE by CISTER/ISEP.

Language:TeX000

hoare_project

This repository contains the code base on which the student should complete in order to implement the expecte weakest precondition generator and two verification condition generation algorithms.

Language:PythonMIT000

ramde2122

Content for the RAMDE course for the 1st semester of the MSc CCSE.

Language:TeX000

whilelang-animator

Animates the execution of a simple while language.

Language:JavaScript000

whilelang-fvoca

Repository that hosts the building blocks that serve as a starting point for the students to build their own program verification tool using Python.

Language:PythonMIT000

whilelang-scala

Scala implementation of a simple while language, for didactic purposes

Language:Scala030

whilelang-scala-base

Parser and animator of a simple while language, to be used within the course of formal verification FVOCA at ISEP, Portugal.

Language:Scala000

alg2324

Algorithms course @ Fac. Sciences of the Univ. Porto 2023/2024

Language:TeX010

fvoca2223

Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc

Language:HTML030