Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for code generation formal methods
code-generation
x
formal-methods
x
2 search results found
Overture
⭐
45
The Overture Tool
Pfaces Omegathreads
⭐
6
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game results into a closed-loop controller that enforces the specification on the system. The controller is generated as a Mealy machine. A Python interface and
Related Searches
Java Code Generation (196)
C Plus Plus Code Generation (134)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
