受强制性开放获取政策约束的文章 - Laura Kovacs了解详情
无法在其他位置公开访问的文章：5 篇
Satisfiability modulo custom theories in Z3
N Bjørner, C Eisenhofer, L Kovács
International Conference on Verification, Model Checking, and Abstract …, 2023
强制性开放获取政策： Austrian Science Fund, European Commission
Polar: An Algebraic Analyzer for (Probabilistic) Loops
M Moosbrugger, J Müllner, E Bartocci, L Kovács
Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024
强制性开放获取政策： European Commission
Marcel Moosbrugger1· Miroslav Stankovic1
D Amrollahi, E Bartocci, G Kenison, L Kovács
强制性开放获取政策： Austrian Science Fund, European Commission, Vienna Science and Technology …
Symbolic Computation in Automated Program Reasoning
L Kovács
International Symposium on Formal Methods, 3-9, 2023
强制性开放获取政策： Austrian Science Fund, European Commission, Vienna Science and Technology …
Foreword| Journal of Symbolic Computation-Volume 47, Issue 12
N Bjørner, L Kovács
Journal of Symbolic Computation 47 (12), 1413-1415, 2012
强制性开放获取政策： Austrian Science Fund
可在其他位置公开访问的文章：111 篇
First-Order Theorem Proving and Vampire
L Kovács, A Voronkov
International Conference on Computer Aided Verification, 1-35, 2013
强制性开放获取政策： Austrian Science Fund
Finding loop invariants for programs over arrays using a theorem prover
L Kovács, A Voronkov
International Conference on Fundamental Approaches to Software Engineering …, 2009
强制性开放获取政策： Swiss National Science Foundation
Reasoning algebraically about P-solvable loops
L Kovács
International Conference on Tools and Algorithms for the Construction and …, 2008
强制性开放获取政策： Austrian Science Fund
Interpolation and symbol elimination
L Kovács, A Voronkov
International Conference on Automated Deduction, 199-213, 2009
强制性开放获取政策： Swiss National Science Foundation
ABC: algebraic bound computation for loops
R Blanc, TA Henzinger, T Hottelier, L Kovács
International Conference on Logic for Programming Artificial Intelligence …, 2010
强制性开放获取政策： Swiss National Science Foundation, Austrian Science Fund
Coming to terms with quantified reasoning
L Kovács, S Robillard, A Voronkov
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
强制性开放获取政策： Austrian Science Fund, Knut and Alice Wallenberg Foundation, Swedish …
Symbolic loop bound computation for WCET analysis
J Knoop, L Kovács, J Zwirchmayr
International Andrei Ershov Memorial Conference on Perspectives of System …, 2011
强制性开放获取政策： Austrian Science Fund
Invariant generation for multi-path loops with polynomial assignments
A Humenberger, M Jaroschek, L Kovács
International Conference on Verification, Model Checking, and Abstract …, 2017
强制性开放获取政策： Austrian Science Fund, Knut and Alice Wallenberg Foundation, Swedish …
Invariant generation in vampire
K Hoder, L Kovács, A Voronkov
International Conference on Tools and Algorithms for the Construction and …, 2011
强制性开放获取政策： Austrian Science Fund
WCET squeezing: On-demand feasibility refinement for proven precise WCET-bounds
J Knoop, L Kovács, J Zwirchmayr
Proceedings of the 21st International Conference on Real-Time Networks and …, 2013
强制性开放获取政策： Austrian Science Fund
Automatic generation of moment-based invariants for prob-solvable loops
E Bartocci, L Kovács, M Stankovič
International Symposium on Automated Technology for Verification and …, 2019
强制性开放获取政策： Austrian Science Fund, Knut and Alice Wallenberg Foundation, European Commission
Automated generation of non-linear loop invariants utilizing hypergeometric sequences
A Humenberger, M Jaroschek, L Kovács
Proceedings of the 2017 ACM on International Symposium on Symbolic and …, 2017
强制性开放获取政策： Austrian Science Fund, Knut and Alice Wallenberg Foundation, Swedish …
Playing in the grey area of proofs
K Hoder, L Kovács, A Voronkov
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
强制性开放获取政策： Austrian Science Fund
Induction with generalization in superposition reasoning
M Hajdú, P Hozzová, L Kovács, J Schoisswohl, A Voronkov
Intelligent Computer Mathematics: 13th International Conference, CICM 2020 …, 2020
强制性开放获取政策： Austrian Science Fund, Knut and Alice Wallenberg Foundation, UK Engineering …
The auspicious couple: Symbolic execution and WCET analysis
A Biere, J Knoop, L Kovács, J Zwirchmayr
13th International Workshop on Worst-Case Execution Time Analysis (2013), 2013
强制性开放获取政策： Austrian Science Fund
出版信息和资助信息由计算机程序自动确定