E-LIB Suche - Ergebnisse für: Fedyukovich, Grigory

1

Maximal Quantified Precondition Synthesis for Linear Array ..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Sumanth Prabhu, S ; Fedyukovich, Grigory ; D'Souza, Deepak - p. 245-274 , 2024

Link: https://doi.org/10.1007/..

2

Weakest Precondition Inference for Non-Deterministic Linear..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Sumanth Prabhu, S. ; D'Souza, Deepak ; Chakraborty, Supratik.. - p. 175-195 , 2024

Link: https://doi.org/10.1007/..

3

Lockstep Composition for Unbalanced Loops:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Hamza, Ameer ; Fedyukovich, Grigory - p. 270-288 , 2023

Link: https://doi.org/10.1007/..

4

Solving Constrained Horn Clauses over Algebraic Data Types:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Zavalía, Lucas ; Chernigovskaia, Lidiia ; Fedyukovich, Grigory - p. 341-365 , 2023

Link: https://doi.org/10.1007/..

5

SMT-based verification of program changes through summary r..:

Asadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti E. J...
Formal Methods in System Design. 60 (2022) 3 - p. 350-380 , 2022

Link: https://doi.org/10.1007/..

6

Transition Power Abstractions for Deep Counterexample Detec..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Blicha, Martin ; Fedyukovich, Grigory ; Hyvärinen, Antti E. J.. - p. 524-542 , 2022

Link: https://doi.org/10.1007/..

7

Maximizing Branch Coverage with Constrained Horn Clauses:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Zlatkin, Ilia ; Fedyukovich, Grigory - p. 254-272 , 2022

Link: https://doi.org/10.1007/..

8

Multi-phase invariant synthesis:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Riley, Daniel ; Fedyukovich, Grigory - p. 607-619 , 2022

Link: https://dl.acm.org/doi/1..

9

Horntinuum: Autonomous Testing using Constrained Horn Claus..:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,

Zlatkin, Ilia ; Fedyukovich, Grigory - p. 1 ff. , 2022

Link: https://dl.acm.org/doi/1..

10

Split Transition Power Abstraction for Unbounded Safety:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),

Blicha, Martin ; Fedyukovich, Grigory ; Hyvarinen, Antti E. J.. - p. 349-358 , 2022

Link: https://doi.org/10.34727..

11

Bridging Arrays and ADTs in Recursive Proofs:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Fedyukovich, Grigory ; Ernst, Gidon - p. 24-42 , 2021

Link: https://doi.org/10.1007/..

12

Beyond the elementary representations of program invariants..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Kostyukov, Yurii ; Mordvinov, Dmitry ; Fedyukovich, Grigory - p. 451-465 , 2021

Link: https://dl.acm.org/doi/1..

13

Unbounded Procedure Summaries from Bounded Environments:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Pick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti - p. 291-324 , 2021

Link: https://doi.org/10.1007/..

14

Specification synthesis with constrained Horn clauses:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Prabhu, Sumanth ; Fedyukovich, Grigory ; Madhukar, Kumar. - p. 1203-1217 , 2021

Link: https://dl.acm.org/doi/1..

15

Synthesis of infinite-state systems with random behavior:

, In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering,

Katis, Andreas ; Fedyukovich, Grigory ; Chen, Jeffrey... - p. 250-261 , 2020

Link: https://dl.acm.org/doi/1..