contractLarva

MaRDI QIDQ38633swMATHFDO

Official website https://github.com/gordonpace/contractLarva

Source code repository https://github.com/gordonpace/contractLarva

Cited in

(13)

• Principled software development. Essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday. Selected papers based on the presentations at the symposium, Kaiserslautern, Germany, November 2018
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Incorporating monitors in reactive synthesis without paying the price
• Modula
• NAT2TEST
• SCIFF
• HLIO
• DeltaJ
• DarwinSPL
• DeltaEcore
• JOANA
• SCCharts
• SCEst

This page was built for software: contractLarva