| 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 |
| Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic
|
2022 |
Raha, Ritam |
| Inferring Interval-Valued Floating-Point Preconditions
|
2022 |
Krämer, Jonas |
| Kmclib: Automated Inference and Verification of Session Types from OCaml Programs
|
2022 |
Imai, Keigo |
| MaskD: A Tool for Measuring Masking Fault-Tolerance
|
2022 |
Putruele, Luciano |
| Better Counterexamples for Dafny
|
2022 |
Chakarov, Aleksandar |
| 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 |
| 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 |
Tag hinzufügen