A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

Bibliographische Detailangaben

Veröffentlicht in:	FroCoS (13. : 2021 : Birmingham) Frontiers of Combining Systems
1. Verfasser:	Bromberger, Martin (VerfasserIn)
Weitere Verfasser:	Dragoste, Irina (VerfasserIn), Faqgeh, Rasha (VerfasserIn), Fetzer, Christof (VerfasserIn), Krötzsch, Markus (VerfasserIn), Weidenbach, Christoph (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!