Explore projects
-
Updated
-
-
Updated
-
Updated
-
-
Updated
-
-
-
Repo containing utility programs to use for the waraps nrtk units. E.g.: a bridge progrma reading from the mqtt broker and pushing the data to ROS.
Updated -
Updated
-
Updated
-
Updated
-
OpenModelica / OMDev
Eclipse Public License 1.0Updated -
The tool PACMAN derives counting invariants for parameterized concurrent programs and incrementally predicate abstracts them, leveraging on a nested constrained monotonic abstraction CEGAR loop which is implemented by its sister project zaama.
Updated -
Updated
-
-
Updated
-
Updated