https://github.com/harmim/vut-ata-project2

Automatizované testování a dynamická analýza - Projekt - Implementace monitoru pro RV - Řízení vozíku v robotické továrně
https://github.com/harmim/vut-ata-project2

ata automated-testing dynamic-analysis finite-automata ltl-formulas run-time-verification testing vut vut-fit

Last synced: 22 days ago
JSON representation

Automatizované testování a dynamická analýza - Projekt - Implementace monitoru pro RV - Řízení vozíku v robotické továrně

• Host: GitHub
• URL: https://github.com/harmim/vut-ata-project2
• Owner: harmim
• Created: 2021-05-02T18:24:21.000Z (almost 4 years ago)
• Default Branch: master
• Last Pushed: 2021-05-03T20:17:12.000Z (almost 4 years ago)
• Last Synced: 2025-02-06T12:48:09.416Z (2 months ago)
• Topics: ata, automated-testing, dynamic-analysis, finite-automata, ltl-formulas, run-time-verification, testing, vut, vut-fit
• Language: Python
• Homepage:
• Size: 185 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Automatizované testování a dynamická analýza - Projekt

## Implementace monitoru pro RV - Řízení vozíku v robotické továrně

##### Autor: Dominik Harmim