Skip to content
@cister-labs

CISTER research center

Popular repositories Loading

  1. uppex uppex Public

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

    Scala 1

  2. coreVVML coreVVML Public

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

    Scala 1

  3. alg2324 alg2324 Public

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

    TeX 1

  4. ramde2122 ramde2122 Public

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

    TeX

  5. fvoca2122 fvoca2122 Public

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

    TeX

  6. whilelang-scala whilelang-scala Public

    Scala implementation of a simple while language, for didactic purposes

    Scala

Repositories

Showing 10 of 13 repositories
  • alg2324 Public

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

    cister-labs/alg2324’s past year of commit activity
    TeX 1 0 0 0 Updated Jan 18, 2024
  • whilelang-scala Public

    Scala implementation of a simple while language, for didactic purposes

    cister-labs/whilelang-scala’s past year of commit activity
    Scala 0 0 0 0 Updated Oct 20, 2023
  • uppex Public

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

    cister-labs/uppex’s past year of commit activity
    Scala 1 MIT 0 0 0 Updated Sep 11, 2023
  • coreVVML Public

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

    cister-labs/coreVVML’s past year of commit activity
    Scala 1 0 0 0 Updated Jul 27, 2023
  • apoo Public

    Simulator of the Apoo assembly language

    cister-labs/apoo’s past year of commit activity
    0 0 0 0 Updated May 10, 2023
  • fvoca2223 Public template

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

    cister-labs/fvoca2223’s past year of commit activity
    HTML 0 0 0 0 Updated Jan 26, 2023
  • fvoca2122 Public

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

    cister-labs/fvoca2122’s past year of commit activity
    TeX 0 0 0 0 Updated Jul 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.

    cister-labs/hoare_project’s past year of commit activity
    Python 0 MIT 1 0 0 Updated May 10, 2022
  • fvoca-hoare Public

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

    cister-labs/fvoca-hoare’s past year of commit activity
    Python 0 MIT 0 0 0 Updated May 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.

    cister-labs/whilelang-scala-base’s past year of commit activity
    Scala 0 0 0 0 Updated Apr 27, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…