Cover Image

A Weakest Precondition Calculus for Programs and Linear Temporal Specifications

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Ernst, Gidon
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Higher-Order Weakest Precondition Transformers via a CPS Transformation
by: Kura, Satoshi
Published: (2023)

LLMs and Fuzzing in Tandem: A New Approach to Automatically Generating Weakest Preconditions
by: King, Daragh, et al.
Published: (2025)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
by: King, Daragh, et al.
Published: (2025)

A Classical Linear $λ$-Calculus based on Contraposition
by: Barenbaum, Pablo, et al.
Published: (2026)

A Deductive Refinement Calculus for Differential-Algebraic Programs
by: Hellwig, Jonathan, et al.
Published: (2026)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
by: Dhonthi, Akshay, et al.
Published: (2024)

Variable Elimination as Rewriting in a Linear Lambda Calculus
by: Ehrhard, Thomas, et al.
Published: (2025)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs
by: Genco, Francesco A., et al.
Published: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

Simulating dynamic systems using Linear Time Calculus theories
by: Bogaerts, Bart, et al.
Published: (2014)

Complete and Terminating Tableau Calculus for Undirected Graph
by: Nishimura, Yuki, et al.
Published: (2024)

Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
by: Doherty, Patrick, et al.
Published: (2023)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
by: Vašíček, Ondřej, et al.
Published: (2026)

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages
by: Barbarossa, Davide, et al.
Published: (2025)

The Flower Calculus
by: Donato, Pablo
Published: (2024)

Linear-Time Graph Programs without Preconditions
by: Alaoui, Ziad Ismaili, et al.
Published: (2025)

Functional Array Programming in an Extended Pi-Calculus
by: Hüttel, Hans, et al.
Published: (2024)

The Tensor-Plus Calculus
by: Chardonnet, Kostia, et al.
Published: (2025)

A Rewriting Theory for Quantum Lambda-Calculus
by: Faggian, Claudia, et al.
Published: (2024)

A Sequent Calculus For Trace Formula Implication
by: Heidler, Niklas, et al.
Published: (2025)

Linear Programming in Isabelle/HOL
by: Parsert, Julian
Published: (2024)

Groups and Inverse Semigroups in Lambda Calculus
by: Bucciarelli, Antonio, et al.
Published: (2026)

Six Birds: Foundations of Emergence Calculus
by: Tsiokos, Ioannis
Published: (2026)

Quantitative Types for the Functional Machine Calculus
by: Heijltjes, Willem
Published: (2025)

Proofs as Execution Trees for the π-Calculus
by: Acclavio, Matteo, et al.
Published: (2024)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
by: Cecilia, Gabriele, et al.
Published: (2024)

A Strong Bisimulation for a Classical Term Calculus
by: Bonelli, Eduardo, et al.
Published: (2021)

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
by: Torres-Ruiz, Mateo, et al.
Published: (2025)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
by: Cecilia, Gabriele
Published: (2025)

Linear Temporal Justification Logics with Past Operators
by: Ghari, Meghdad
Published: (2018)

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
by: Hadjiloizou, Loizos, et al.
Published: (2024)

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
by: Işık, İlker, et al.
Published: (2024)

Nested-sequent Calculus for Modal Logic MB
by: Kawano, Tomoaki
Published: (2024)

Substitution in the lambda Calculus and the role of the Curry School
by: Kamareddine, Fairouz
Published: (2024)

Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
by: Irani, Khashayar
Published: (2025)

A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels
by: Gao, Han, et al.
Published: (2025)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
by: Becker, Justus
Published: (2025)

Semantics for Linear-time Temporal Logic with Finite Observations
by: Amjad, Rayhana, et al.
Published: (2024)