Popular repositories

1. ROSRV ROSRV Public

   C++ 14 4

2. rosmop rosmop Public

   Monitor Oriented Programming for ROS

   Java 3 4

3. rvm-parser rvm-parser Public

   Parsing RVM and MOP specifications using K framework

   Shell 2 2

4. coinduction coinduction Public

   language-independent program verification by coinduction

   Coq 2 1

5. hybrid-programs-semantics hybrid-programs-semantics Public

   Semantics of Hybrid Programs (Differential Dynamic Logic) in K

   Python 2

6. replaymop replaymop Public

   Forked from kheradmand/replaymop

   Deterministic replay of concurrent Java programs using monitoring oriented programming

   Java