Saved in:
| Main Authors: | Afonso, Joao, Selabi, Elvis Konjoh, Murgia, Maurizio, Ravara, Antonio, Tuosto, Emilio |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2404.19523 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Automatic Code and Test Generation of Smart Contracts from Coordination Models
by: Selabi, Elvis Konjoh, et al.
Published: (2026)
by: Selabi, Elvis Konjoh, et al.
Published: (2026)
A Theory of Formal Choreographic Languages
by: Barbanera, Franco, et al.
Published: (2022)
by: Barbanera, Franco, et al.
Published: (2022)
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
by: Pears, Jonah, et al.
Published: (2024)
by: Pears, Jonah, et al.
Published: (2024)
COTS: Connected OpenAPI Test Synthesis for RESTful Applications
by: Burlò, Christian Bartolo, et al.
Published: (2024)
by: Burlò, Christian Bartolo, et al.
Published: (2024)
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
by: Grabmayer, Clemens, et al.
Published: (2025)
by: Grabmayer, Clemens, et al.
Published: (2025)
KindHML: formal verification of smart contracts based on Hennessy-Milner logic
by: Bartoletti, Massimo, et al.
Published: (2026)
by: Bartoletti, Massimo, et al.
Published: (2026)
List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)
by: Ghilezan, Silvia, et al.
Published: (2021)
Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)
by: de Groot, Jim, et al.
Published: (2025)
Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)
by: Coquand, Thierry, et al.
Published: (2026)
Towards benchmarking of Solidity verification tools
by: Bartoletti, Massimo, et al.
Published: (2024)
by: Bartoletti, Massimo, et al.
Published: (2024)
Solving reachability problems on data-aware workflows
by: De Masellis, Riccardo, et al.
Published: (2019)
by: De Masellis, Riccardo, et al.
Published: (2019)
A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
by: d'Aragona, Antonio Piccolomini
Published: (2025)
by: d'Aragona, Antonio Piccolomini
Published: (2025)
A method for the automated generation of proof exercises with comparable levels of proving complexity
by: Mendes, João, et al.
Published: (2026)
by: Mendes, João, et al.
Published: (2026)
Bayesian Machine Learning meets Formal Methods: An application to spatio-temporal data
by: Vana, Laura, et al.
Published: (2021)
by: Vana, Laura, et al.
Published: (2021)
The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)
by: de Jong, Tom, et al.
Published: (2026)
On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
by: Koul, Prajval, et al.
Published: (2025)
by: Koul, Prajval, et al.
Published: (2025)
Risk-aware Markov Decision Processes Using Cumulative Prospect Theory
by: Brihaye, Thomas, et al.
Published: (2025)
by: Brihaye, Thomas, et al.
Published: (2025)
Cube-based Isomorph-free Finite Model Finding
by: Chow, Choiwah, et al.
Published: (2025)
by: Chow, Choiwah, et al.
Published: (2025)
Contractions of quasi relation algebras and applications to representability
by: Craig, Andrew, et al.
Published: (2026)
by: Craig, Andrew, et al.
Published: (2026)
Regular Typed Unification
by: Barbosa, João, et al.
Published: (2024)
by: Barbosa, João, et al.
Published: (2024)
Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
by: Bilotta, Antonella
Published: (2025)
by: Bilotta, Antonella
Published: (2025)
Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
by: Vehlken, Fabian, et al.
Published: (2026)
by: Vehlken, Fabian, et al.
Published: (2026)
Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)
by: Areces, Carlos, et al.
Published: (2025)
Intuitionistic modal logics: a minimal setting
by: Balbiani, Philippe, et al.
Published: (2025)
by: Balbiani, Philippe, et al.
Published: (2025)
Catamorphic Abstractions for Constrained Horn Clause Satisfiability
by: De Angelis, Emanuele, et al.
Published: (2024)
by: De Angelis, Emanuele, et al.
Published: (2024)
Error-awareness Accelerates Active Automata Learning
by: Kruger, Loes, et al.
Published: (2026)
by: Kruger, Loes, et al.
Published: (2026)
Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)
by: Abramsky, Samson, et al.
Published: (2025)
First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)
by: Łyczak, Marcin
Published: (2024)
A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)
by: Díaz-Caro, Alejandro, et al.
Published: (2018)
Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)
by: Bacci, Giorgio, et al.
Published: (2025)
Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
by: Liang, Xiaolong, et al.
Published: (2024)
by: Liang, Xiaolong, et al.
Published: (2024)
Complete Symmetry Breaking for Finite Models
by: Dančo, Marek, et al.
Published: (2025)
by: Dančo, Marek, et al.
Published: (2025)
A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)
by: Oda, Yukihiro
Published: (2025)
Establishing tool support for a concept DSL
by: Jakobsen, Nikolaj Kühne
Published: (2025)
by: Jakobsen, Nikolaj Kühne
Published: (2025)
SAT-Based Techniques for Lexicographically Smallest Finite Models
by: Janota, Mikoláš, et al.
Published: (2025)
by: Janota, Mikoláš, et al.
Published: (2025)
Making first order linear logic a generating grammar
by: Slavnov, Sergey
Published: (2022)
by: Slavnov, Sergey
Published: (2022)
An order out of nowhere: a new algorithm for infinite-domain CSPs
by: Mottet, Antoine, et al.
Published: (2023)
by: Mottet, Antoine, et al.
Published: (2023)
A Mathematical Model of Package Management Systems
by: Bazerman, Gershom, et al.
Published: (2023)
by: Bazerman, Gershom, et al.
Published: (2023)
Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
by: de Vilhena, Paulo Emílio, et al.
Published: (2021)
by: de Vilhena, Paulo Emílio, et al.
Published: (2021)
Exploring New Topologies for the Theory of Clones
by: Bucciarelli, Antonio, et al.
Published: (2023)
by: Bucciarelli, Antonio, et al.
Published: (2023)
Similar Items
-
Automatic Code and Test Generation of Smart Contracts from Coordination Models
by: Selabi, Elvis Konjoh, et al.
Published: (2026) -
A Theory of Formal Choreographic Languages
by: Barbanera, Franco, et al.
Published: (2022) -
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
by: Pears, Jonah, et al.
Published: (2024) -
COTS: Connected OpenAPI Test Synthesis for RESTful Applications
by: Burlò, Christian Bartolo, et al.
Published: (2024) -
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
by: Grabmayer, Clemens, et al.
Published: (2025)