| HOLL: Program Synthesis for Higher Order Logic Locking
|
2022 |
Takhar, Gourav |
| Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems
|
2022 |
Greiner-Petter, André |
| Inferring Invarlants with Quantifier Alternations: Taming the Search
|
2022 |
Koenig, Jason R. |
| Automated Translation of Natural Language Requirements to Runtime Monitors
|
2022 |
Perez, Ivan |
| Clausal Proofs for Pseudo-Boolean Reasoning
|
2022 |
Bryant, Randal E. |
| Property Directed Reachability for Generalized Petri Nets
|
2022 |
Amat, Nicolas |
| Searching for Ribbon-Shaped Paths in Fair Transition Systems
|
2022 |
Bozzano, Marco |
| CoVeriTeam: On-Demand Composition of Cooperative Verification Systems
|
2022 |
Beyer, Dirk |
| The Complexity of LTL Rational Synthesis
|
2022 |
Kupferman, Orna |
| ZDD Boolean Synthesis
|
2022 |
Lin, Yi |
| Verifying Fortran Programs with CIVL
|
2022 |
Wu, Wenhao |
| Efficient Neural Network Analysis with Sum-of-Infeasibilities
|
2022 |
Wu, Haoze |
| A Max-SMT Superoptimizer for EVM handling Memory and Storage
|
2022 |
Albert, Elvira |
| LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions
|
2022 |
Paulsen, Brandon |
| cvc5: A Versatile and Industrial-Strength SMT Solver
|
2022 |
Barbosa, Haniel |
| Synthesis of Compact Strategies for Coordination Programs
|
2022 |
Namjoshi, Kedar S. |
| Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
|
2022 |
Dill, David |
| Formal Verification of the Ethereum 2.0 Beacon Chain
|
2022 |
Cassez, Franck |
| Leaming Realtime One-Counter Automata
|
2022 |
Bruyére, Veronique |
| Leaming Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
|
2022 |
Bortolussi, Luca |
Tag hinzufügen