We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for cs.LO in Jul 2022, skipping first 50

[ total of 112 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-112 ]
[ showing 25 entries per page: fewer | more | all ]
[51]  arXiv:2207.09854 [pdf, other]
Title: Auto-active Verification of Graph Algorithms, Written in OCaml
Subjects: Logic in Computer Science (cs.LO)
[52]  arXiv:2207.09872 [pdf, other]
Title: A Lattice-Theoretical View of Strategy Iteration
Subjects: Logic in Computer Science (cs.LO)
[53]  arXiv:2207.09895 [pdf, other]
Title: PFMC: a parallel symbolic model checker for security protocol verification
Subjects: Logic in Computer Science (cs.LO)
[54]  arXiv:2207.10010 [pdf, ps, other]
Title: A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures
Authors: Gershom Bazerman
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[55]  arXiv:2207.10262 [pdf, ps, other]
Title: A Labelled Sequent Calculus for Public Announcement Logic
Subjects: Logic in Computer Science (cs.LO)
[56]  arXiv:2207.10424 [pdf, other]
Title: A Linter for Isabelle: Implementation and Evaluation
Comments: Isabelle Workshop 2022
Subjects: Logic in Computer Science (cs.LO)
[57]  arXiv:2207.10562 [pdf, other]
Title: CheckINN: Wide Range Neural Network Verification in Imandra (Extended)
Comments: PPDP 2022, 24th International Symposium on Principles and Practice of Declarative Programming
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[58]  arXiv:2207.10590 [pdf, other]
Title: On Feller Continuity and Full Abstraction (Long Version)
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[59]  arXiv:2207.11284 [pdf, ps, other]
Title: Towards the shortest DRAT proof of the Pigeonhole Principle
Comments: 13 pages. To appear in Pragmatics of SAT 2022
Subjects: Logic in Computer Science (cs.LO)
[60]  arXiv:2207.12039 [pdf, ps, other]
Title: Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[61]  arXiv:2207.12742 [pdf, ps, other]
Title: A formalization of the change of variables formula for integrals in mathlib
Authors: Sébastien Gouëzel (IRMAR)
Subjects: Logic in Computer Science (cs.LO)
[62]  arXiv:2207.12807 [pdf, other]
Title: Normalization for Fitch-Style Modal Calculi
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[63]  arXiv:2207.12953 [pdf, ps, other]
Title: Extensible Proof Systems for Infinite-State Systems
Comments: Version with full proofs and technical details
Subjects: Logic in Computer Science (cs.LO)
[64]  arXiv:2207.13577 [pdf, other]
Title: Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses
Comments: Accepted at the Pragmatics of SAT workshop this http URL
Subjects: Logic in Computer Science (cs.LO)
[65]  arXiv:2207.13660 [pdf, ps, other]
Title: Satisfiability Bounds for $ω$-Regular Properties in Bounded-Parameter Markov Decision Processes
Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY)
[66]  arXiv:2207.13912 [pdf, other]
Title: Frobenius structures in star-autonomous categories
Authors: Luigi Santocanale (LIS, LIRICA), Cédric de Lacroix (LIS, LIRICA)
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)
[67]  arXiv:2207.14043 [pdf, other]
Title: Trace Refinement in B and Event-B
Subjects: Logic in Computer Science (cs.LO)
[68]  arXiv:2207.14139 [pdf, ps, other]
Title: Nominal Matching Logic
Comments: To appear, PPDP 2022
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[69]  arXiv:2207.14364 [pdf, ps, other]
Title: Regression verification of unbalanced recursive functions with multiple calls (long version)
Comments: long version of a submission to VSTTE'22
Subjects: Logic in Computer Science (cs.LO)
[70]  arXiv:2207.00843 (cross-list from cs.PL) [pdf, ps, other]
Title: Sikkel: Multimode Simple Type Theory as an Agda Library
Authors: Joris Ceulemans (KU Leuven), Andreas Nuyts (KU Leuven), Dominique Devriese (KU Leuven)
Comments: In Proceedings MSFP 2022, arXiv:2206.09534
Journal-ref: EPTCS 360, 2022, pp. 93-112
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[71]  arXiv:2207.01431 (cross-list from cs.CY) [pdf]
Title: Breaking Bad News in the Era of Artificial Intelligence and Algorithmic Medicine: An Exploration of Disclosure and its Ethical Justification using the Hedonic Calculus
Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[72]  arXiv:2207.02015 (cross-list from cs.PL) [pdf, other]
Title: Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)
Comments: Extended version of paper accepted at CONCUR 2022
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[73]  arXiv:2207.02355 (cross-list from cs.PL) [pdf, other]
Title: A Concurrent Program Logic with a Future and History
Journal-ref: Proc. ACM Program. Lang. 6, OOPSLA2, Article 174 (October 2022), 30 pages
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[74]  arXiv:2207.02387 (cross-list from cs.RO) [pdf, other]
Title: Goal-Aware RSS for Complex Scenarios via Program Logic
Comments: 33 pages, 18 figures, 1 table. Accepted for publication in IEEE Transactions on Intelligent Vehicles
Subjects: Robotics (cs.RO); Logic in Computer Science (cs.LO)
[75]  arXiv:2207.02517 (cross-list from cs.CR) [pdf, other]
Title: Transaction Monitoring of Smart Contracts
Subjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
[ total of 112 entries: 1-25 | 26-50 | 51-75 | 76-100 | 101-112 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2211, contact, help  (Access key information)