Skip to content
Snippets Groups Projects
Select Git revision
  • master default
1 result
Permalink
  • Kristof's avatar
    2e26a4dc
    - Slight modifications in Automata · 2e26a4dc
    Kristof authored 
    - Added command-line version of UPPAAL verifier
- Added a time and memory usage monitor for command-line
- Added a first special Query-File for batch-file verifying purposes
    2e26a4dc
    History
    - Slight modifications in Automata
    Kristof authored 
    - Added command-line version of UPPAAL verifier
- Added a time and memory usage monitor for command-line
- Added a first special Query-File for batch-file verifying purposes