This tool allows synthesis of runtime monitors using various backends such as OCaml, C++11,
and
SMT-Lib. You can select predefined synthesis options or customize your own.
Developed using Bootstrap 5, Ace editor, and js_of_ocaml.
© 2025 The rmtld3synth team