| NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
|
2022 |
Amendola, Arturo |
| A New Approach for Active Automata Leaming Based on Apartness
|
2022 |
Vaandrager, Frits |
| NeuReach: Learning Reachability Functions from Simulations
|
2022 |
Sun, Dawei |
| A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic
|
2022 |
Bromberger, Martin |
| Moving Definition Variables in Quantified Boolean Formulas
|
2022 |
Reeves, Joseph E. |
| Transition Power Abstractions for Deep Counterexample Detection
|
2022 |
Blicha, Martin |
| 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 |
| 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 |
Tag hinzufügen