Skip to content

a snippet from my bachelor project. It is part of backend that starts a model checking job(uppaal) using SLURM as a scehedular. It parses the output and returns the status to a distributed queue, and the result to a database. and save

Notifications You must be signed in to change notification settings

Pripman/Python_Bachelor_Example

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 
 
 
 
 
 
 
 
 
 
 

About

a snippet from my bachelor project. It is part of backend that starts a model checking job(uppaal) using SLURM as a scehedular. It parses the output and returns the status to a distributed queue, and the result to a database. and save

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published