A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

Gespeichert in:

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!

Titel	Jahr	Verfasser
Symbol Elimination and Applications to Parametric Entailment Problems	2021	Peuter, Dennis
Combining Event Calculus and Description Logic Reasoning via Logic Programming	2021	Baumgartner, Peter
Semantic Forgetting in Expressive Description Logics	2021	Sakr, Mostafa
Improving Automation for Higher-Order Proof Steps	2021	Defourne, Antoine
JEFL: Joint Embedding of Formal Proof Libraries	2021	Wang, Qingxiane
Optimization Modulo Non-linear Arithmetic via Incremental Linearization	2021	Bigarella, Filippo
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems	2021	Lin, Hai
Formal Verification of a Java Component Using the RESOLVE Framework	2021	Rumreich, Laine
Quantifier Simplification by Unification in SMT	2021	Fontaine, Pascal
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic	2021	Bromberger, Martin
On the Copy Complexity of Width 3 Horn Constraint Systems	2021	Subramani, K.
Restricted Unification in the DL FLo	2021	Baader, Franz
Fast and Slow Enigmas and Parental Guidance	2021	Goertzel, Zarathustra A.
Formal Analysis of Symbolic Authenticity	2021	Lin, Hai
Non-disjoint Combined Unification and Closure by Equational Paramodulation	2021	Erbatur, Serdar
Vampire with a Brain Is a Good ITP Hammer	2021	Suda, Martin