🏛️ The Logic in CS Crypt

🔮 🔮 The Ethereal

BliStrTune: Hierarchical Invention of Theorem Proving Strategies

Jan Jakubuv, Josef Urban

cs.LO 🏛 Certified Programs and Proofs 📚 26 cites 9 years ago

🔮 🔮 The Ethereal

Internal Guidance for Satallax

Michael Färber, Chad Brown

cs.LO 🏛 International Joint Conference on Automated Reasoning 📚 26 cites 9 years ago

🔮 🔮 The Ethereal

Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments

Gerhard Brewka, Stefan Ellmauthaler, ... (+4 more)

cs.LO 🏛 AI 📚 26 cites 9 years ago

🔮 🔮 The Ethereal

Flipper games for monadically stable graph classes

Jakub Gajarský, Nikolas Mählmann, ... (+7 more)

cs.LO 🏛 ICALP 📚 25 cites 3 years ago

🔮 🔮 The Ethereal

DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees

Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi

cs.LO 🏛 CP 📚 25 cites 5 years ago

🔮 🔮 The Ethereal

Smart Contract Interactions in Coq

Jakob Botsch Nielsen, Bas Spitters

cs.LO 🏛 FM W 📚 25 cites 6 years ago

🔮 🔮 The Ethereal

Circular Proofs as Session-Typed Processes: A Local Validity Condition

Farzaneh Derakhshan, Frank Pfenning

cs.LO 🏛 Log. Methods Comput. Sci. 📚 25 cites 6 years ago

🔮 🔮 The Ethereal

Affine Sessions

Dimitris Mostrous, Vasco T. Vasconcelos

cs.LO 🏛 ICCML 📚 25 cites 7 years ago

🔮 🔮 The Ethereal

Denotational semantics of recursive types in synthetic guarded domain theory

Rasmus E. Møgelberg, Marco Paviotti

cs.LO 🏛 Logic in Computer Science 📚 25 cites 8 years ago

🔮 🔮 The Ethereal

Optimizing tree decompositions in MSO

Mikołaj Bojańczyk, Michał Pilipczuk

cs.LO 🏛 STACS 📚 25 cites 9 years ago

🔮 🔮 The Ethereal

Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)

Anthony W. Lin, Philipp Ruemmer

cs.LO 🏛 CAV 📚 25 cites 9 years ago

🔮 🔮 The Ethereal

Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere

Carol Mak, C. -H. Luke Ong, ... (+2 more)

cs.LO 🏛 European Symposium on Programming 📚 24 cites 6 years ago

🔮 🔮 The Ethereal

Differential Logical Relations, Part I: The Simply-Typed Case (Long Version)

Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu

cs.LO 🏛 ICALP 📚 24 cites 7 years ago

🔮 🔮 The Ethereal

A certifying extraction with time bounds from Coq to call-by-value $λ$-calculus

Yannick Forster, Fabian Kunze

cs.LO 🏛 ICITP 📚 24 cites 7 years ago

🔮 🔮 The Ethereal

PaMpeR: Proof Method Recommendation System for Isabelle/HOL

Yutaka Nagashima, Yilun He

cs.LO 🏛 ASE 📚 24 cites 7 years ago

🔮 🔮 The Ethereal

Coaxioms: flexible coinductive definitions by inference systems

Francesco Dagnino

cs.LO 🏛 Log. Methods Comput. Sci. 📚 24 cites 7 years ago

🔮 🔮 The Ethereal

Solving Horn Clauses on Inductive Data Types Without Induction

Emanuele De Angelis, Fabio Fioravanti, ... (+2 more)

cs.LO 🏛 TPLP 📚 24 cites 8 years ago

🔮 🔮 The Ethereal

Java & Lambda: a Featherweight Story

Lorenzo Bettini, Viviana Bono, ... (+3 more)

cs.LO 🏛 Log. Methods Comput. Sci. 📚 24 cites 8 years ago

🔮 🔮 The Ethereal

Probabilistic Couplings for Probabilistic Reasoning

Justin Hsu

cs.LO 🏛 arXiv 📚 24 cites 8 years ago

🔮 🔮 The Ethereal

Modeling and Verification of the Bitcoin Protocol

Kaylash Chaudhary, Ansgar Fehnker, ... (+2 more)

cs.LO 🏛 MARS 📚 24 cites 10 years ago

🔮 🔮 The Ethereal

Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects

Ilya Sergey, Aleksandar Nanevski, ... (+2 more)

cs.LO 🏛 ICOPSLA 📚 24 cites 10 years ago

🔮 🔮 The Ethereal

Comparing Deadlock-Free Session Typed Processes

Ornela Dardha, Jorge A. Pérez

cs.LO 🏛 Combined International Workshop Expressiveness Concurrency and Workshop Structural Operational Semantics 📚 24 cites 10 years ago

🔮 🔮 The Ethereal

Grove: a Separation-Logic Library for Verifying Distributed Systems (Extended Version)

Upamanyu Sharma, Ralf Jung, ... (+3 more)

cs.LO 🏛 SOSP 📚 23 cites 2 years ago

🔮 🔮 The Ethereal

Towards making formal methods normal: meeting developers where they are

Alastair Reid, Luke Church, ... (+4 more)

cs.LO 🏛 arXiv 📚 23 cites 5 years ago