TarTar

swMATH37080MaRDI QIDQ52782FDOQ52782

Author name not available (Why is that?)

Source code repository: https://github.com/sen-uni-kn/tartar

Cited In (2)

• Explaining safety violations in real-time systems
• An automated system repair framework with signal temporal logic

This page was built for software: TarTar