Skip to content

@cister-labs CISTER research center

Change the repository type filter

All

    Repositories list

    13 repositories

    • alg2324

      Public
      Algorithms course @ Fac. Sciences of the Univ. Porto 2023/2024
      TeX
      •0•1•0•0•Updated Jan 18, 2024Jan 18, 2024

    • whilelang-scala

      Public
      Scala implementation of a simple while language, for didactic purposes
      Scala
      •0•0•0•0•Updated Oct 20, 2023Oct 20, 2023

    • uppex

      Public
      Uppex - extend UPPAAL with annotations for properties in companion MS Excel files
      Scala
      •
      MIT License
      •0•1•0•0•Updated Sep 11, 2023Sep 11, 2023

    • coreVVML

      Public
      Analyser of a core subset of VVML (Verification & Validation Modelling Language)
      Scala
      •0•1•0•0•Updated Jul 27, 2023Jul 27, 2023

    • apoo

      Public
      Simulator of the Apoo assembly language
      0•0•0•0•Updated May 10, 2023May 10, 2023

    • fvoca2223

      Public template
      Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
      formal-semanticsformal-methodssmtformal-languagessathoare-logicformal-specificationformal-logic
      HTML
      •0•0•0•0•Updated Jan 26, 2023Jan 26, 2023

    • fvoca2122

      Public
      Content for the FVOCA course for the 2nd semester of the MScCCSE by CISTER/ISEP.
      software-engineeringformal-verification
      TeX
      •0•0•0•0•Updated Jul 13, 2022Jul 13, 2022

    • hoare_project

      Public
      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.
      Python
      •
      MIT License
      •1•0•0•0•Updated May 10, 2022May 10, 2022

    • fvoca-hoare

      Public
      This repository provides the code base that implements VCGens based on Hoare Logic for a simple imperative language.
      Python
      •
      MIT License
      •0•0•0•0•Updated May 6, 2022May 6, 2022

    • whilelang-scala-base

      Public
      Parser and animator of a simple while language, to be used within the course of formal verification FVOCA at ISEP, Portugal.
      Scala
      •0•0•0•0•Updated Apr 27, 2022Apr 27, 2022

    • whilelang-animator

      Public
      Animates the execution of a simple while language.
      JavaScript
      •0•0•0•0•Updated Apr 27, 2022Apr 27, 2022

    • whilelang-fvoca

      Public
      Repository that hosts the building blocks that serve as a starting point for the students to build their own program verification tool using Python.
      Python
      •
      MIT License
      •0•0•0•0•Updated Apr 18, 2022Apr 18, 2022

    • ramde2122

      Public
      Content for the RAMDE course for the 1st semester of the MSc CCSE.
      TeX
      •0•0•0•0•Updated Dec 20, 2021Dec 20, 2021