TarTar

swMATH37080MaRDI QIDQ52782FDOQ52782

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-030-53288-8_25

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

Cited In (4)

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

This page was built for software: TarTar