| Fixing Code that Explodes Under Symbolic Evaluation
|
2020 |
Porncharoenwase, Sorawee |
| The Correctness of a Code Generator for a Functional Language
|
2020 |
Courant, Nathanaël |
| Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation
|
2020 |
Ish-Shalom, Oren |
| Systematic Classification of Attackers via Bounded Model Checking
|
2020 |
Rothstein-Morris, Eric |
| Cheap CTL Compassion in NuSMV
|
2020 |
Hausmann, Daniel |
| Generalized Property-Directed Reachability for Hybrid Systems
|
2020 |
Suenaga, Kohei |
| Promptness and Bounded Fairness in Concurrent and Parameterized Systems
|
2020 |
Jacobs, Swen |
| Improving Parity Game Solvers with Justifications
|
2020 |
Bruynooghe,, Ruben Lapauw, Maurice |
| Witnessing Secure Compilation
|
2020 |
Namjoshi, Kedar S. |
| BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results
|
2020 |
Ferrara, Pietro |
| A Systematic Approach to Abstract Interpretation of Program Transformations
|
2020 |
Keidel, Sven |
| Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification
|
2020 |
Garzella, Jack J. |
| Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
|
2020 |
Ish-Shalom, Oren |
| Sharing Ghost Variables in a Collection of Abstract Domains
|
2020 |
Chevalier, Marc |
| Synthesizing Environment Invariants for Modular Hardware Verification
|
2020 |
Yang, Hongce Zhang. Weikun |
| A Cooperative Parallelization Approach for Property-Directed k-Induction
|
2020 |
Blicha, Martin |
| Language Inclusion for Finite Prime Event Structures
|
2020 |
Fellner, Andreas |
| Solving LIA* Using Approximations
|
2020 |
Levatich, Maxwell |
| Formalizing and Checking Multilevel Consistency
|
2020 |
Bouajjani, Ahmed |
| Practical Abstractions for Automated Verification of Shared-Memory Concurrency
|
2020 |
Oortwijn, Wytse |
Tag hinzufügen