heia-fr / temporal-still Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Verification and validation of temporal formulas based on boolean signals.

heia-fr.github.io/temporal-still/

Apache-2.0 license

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 183 Commits
.github/workflows		.github/workflows
src		src
.browserslistrc		.browserslistrc
.editorconfig		.editorconfig
.gitignore		.gitignore
ENVIRONMENT.md		ENVIRONMENT.md
LICENSE		LICENSE
README.md		README.md
angular.json		angular.json
karma.conf.js		karma.conf.js
package-lock.json		package-lock.json
package.json		package.json
tsconfig.app.json		tsconfig.app.json
tsconfig.json		tsconfig.json
tsconfig.spec.json		tsconfig.spec.json
tsconfig.worker.json		tsconfig.worker.json
tslint.json		tslint.json

Repository files navigation

Temporal Still

Projet de Semestre 5

Infos générales

Etudiant : Vincent Jaquet - vincent.jaquet@edu.hefr.ch
Professeur : Frédéric Bapst - frederic.bapst@hefr.ch

Liens

Redmine: https://redmine.forge.hefr.ch/projects/alambic-temporel-3

Branches

Environnement de travail

About

Verification and validation of temporal formulas based on boolean signals.

heia-fr.github.io/temporal-still/

Apache-2.0 license

Custom properties

Report repository

Languages