Giter Site home page Giter Site logo

CISTER research center's Projects

alg2324 icon alg2324

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

apoo icon apoo

Simulator of the Apoo assembly language

corevvml icon corevvml

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

fvoca-hoare icon fvoca-hoare

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

fvoca2122 icon fvoca2122

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

fvoca2223 icon fvoca2223

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

hoare_project icon 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.

ramde2122 icon ramde2122

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

uppex icon uppex

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

whilelang-fvoca icon 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.

whilelang-scala icon whilelang-scala

Scala implementation of a simple while language, for didactic purposes

whilelang-scala-base icon whilelang-scala-base

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

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.