Kovacs, Laura
- Verifying Relational Properties using Trace Logic
2019/06/24 by Barthe, Gilles, Eilers, Renate, Georgiou, Pamina +3 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Coming to Terms with Quantified Reasoning
2016/11/09 by Laura Kovács, Simon Robillard, Kovacs, Laura +3 · 1 citation
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Software Engineering Research
- Subsumption Demodulation in First-Order Theorem Proving
2020/01/28 by Gleiss, Bernhard, Kovacs, Laura, Rath, Jakob · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- MORA -- Automatic Generation of Moment-Based Invariants
2021/03/05 by Bartocci, Ezio, Kovacs, Laura, Stankovic, Miroslav · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Programming Languages (cs.PL)