Imagen de Portada

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Bortin, Maksym
Formato:	Preprint
Publicado:	2020
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Program Instrumentation Framework for Automatic Verification
por: Amilon, Jesper, et al.
Publicado: (2024)

Pleasant Imperative Program Proofs with GallinaC
por: Fort, Frédéric, et al.
Publicado: (2025)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
por: Nemati, Hamed, et al.
Publicado: (2025)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
por: Le, Quang Loc
Publicado: (2025)

Craig Interpolation in Program Verification
por: Rümmer, Philipp
Publicado: (2026)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
por: Baldan, Paolo, et al.
Publicado: (2025)

An Imperative Language for Verified Exact Real-Number Computation
por: Bauer, Andrej, et al.
Publicado: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
por: Zilberstein, Noam, et al.
Publicado: (2025)

VerifyThis 2019: A Program Verification Competition (Extended Report)
por: Dross, Claire, et al.
Publicado: (2020)

Computation and Concurrency
por: Wang, Yong
Publicado: (2024)

Practical Deductive Verification of OCaml Programs (Extended Version)
por: Pereira, Mário
Publicado: (2024)

A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
por: Watanabe, Kazuki, et al.
Publicado: (2025)

Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem (Extended Version)
por: Soares, Tiago Lopes, et al.
Publicado: (2024)

A Note on Runtime Verification of Concurrent Systems
por: Leucker, Martin
Publicado: (2025)

Finitary Truly Concurrent Bisimulations
por: Wang, Yong
Publicado: (2026)

On Propositional Dynamic Logic and Concurrency
por: Acclavio, Matteo, et al.
Publicado: (2024)

The Qualitative Collapse of Concurrent Games
por: Clairambault, Pierre
Publicado: (2024)

Parameterized Dynamic Logic -- Towards A Cyclic Logical Framework for General Program Specification and Verification
por: Zhang, Yuanrui
Publicado: (2024)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
por: Olarte, Carlos, et al.
Publicado: (2024)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
por: Şakar, Ömer, et al.
Publicado: (2026)

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

Structural Operational Semantics for True Concurrency
por: Wang, Yong
Publicado: (2026)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
por: Li, Kwing Hei, et al.
Publicado: (2025)

{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
por: Cristiá, Maximiliano, et al.
Publicado: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
por: Li, Kwing Hei, et al.
Publicado: (2025)

Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
por: Kura, Satoshi, et al.
Publicado: (2024)

Structural Temporal Logic for Mechanized Program Verification
por: Ioannidis, Eleftherios, et al.
Publicado: (2024)

FO-Complete Program Verification for Heap Logics
por: Murali, Adithya, et al.
Publicado: (2026)

Synthesis and Verification of Transformer Programs (Technical Report)
por: Jiang, Hongjian, et al.
Publicado: (2026)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
por: Bhat, Vishak K, et al.
Publicado: (2026)

Verification and External Parameter Inference for Stochastic World Models
por: Calinescu, Radu, et al.
Publicado: (2025)

Formal Verification of Quantum Programs: Theory, Tools and Challenges
por: Lewis, Marco, et al.
Publicado: (2021)

Products of Recursive Programs for Hypersafety Verification (Extended Version)
por: Cheng, Ruotong, et al.
Publicado: (2025)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
por: Tsukada, Takeshi, et al.
Publicado: (2025)

Antichains for Concurrent Parameterized Games
por: Bertrand, Nathalie, et al.
Publicado: (2025)

Concurrent Strategies on Games with Algebras
por: Huriot-Tattegrain, Sacha, et al.
Publicado: (2024)

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
por: Heuvel, Bas van den, et al.
Publicado: (2021)

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
por: Clairambault, Pierre, et al.
Publicado: (2023)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
por: Cesco, Arnaldo, et al.
Publicado: (2021)

A Lazy, Concurrent Convertibility Checker
por: Courant, Nathanaëlle, et al.
Publicado: (2025)