cister-labs Goto Github PK
Name: CISTER research center
Type: Organization
Blog: https://cister-labs.pt
Name: CISTER research center
Type: Organization
Blog: https://cister-labs.pt
Algorithms course @ Fac. Sciences of the Univ. Porto 2023/2024
Simulator of the Apoo assembly language
Analyser of a core subset of VVML (Verification & Validation Modelling Language)
This repository provides the code base that implements VCGens based on Hoare Logic for a simple imperative language.
Content for the FVOCA course for the 2nd semester of the MScCCSE by CISTER/ISEP.
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
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.
Content for the RAMDE course for the 1st semester of the MSc CCSE.
Uppex - extend UPPAAL with annotations for properties in companion MS Excel files
Animates the execution of a simple while language.
Repository that hosts the building blocks that serve as a starting point for the students to build their own program verification tool using Python.
Scala implementation of a simple while language, for didactic purposes
Parser and animator of a simple while language, to be used within the course of formal verification FVOCA at ISEP, Portugal.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.