TzachSh/LTL_Solver_Frontend

Stars
1
Language
JavaScript
Created over 4 years ago
Updated over 4 years ago

TzachSh/LTL_Solver_Frontend

TzachSh

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Software engineering final porject. We implement a new method for linear temporal logic satisfiability checking algorithm.

Synthesizer

Synthesizer project which I developed for a Digital Signal Processing course.

Adventures_Of_Tron

an Adventues of Tron game project that developed in a Real Time course.

FlowersSystemG7_Client

Software engineering semester project. Client-Side

FlowersSystemG7_Server

Software engineering semester project. Back-end server side

LTL_Solver_Backend

Software engineering final porject. We implement a new method for linear temporal logic satisfiability checking algorithm.

Sensors_Tracker

Android application developed by me as a project in the Design Patterns course, which tracks and displays the android's device sensors values.