TarTar

MaRDI QIDQ52782swMATHFDO

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