:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Vana, Laura, Visconti, Ennio, Nenzi, Laura, Cadonna, Annalisa, Kastner, Gregor
Format:	Preprint
Published:	2021
Subjects:	Computation Logic in Computer Science
Online Access:	https://arxiv.org/abs/2110.01360
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
by: Balakrishnan, Anand, et al.
Published: (2025)

Formal Modelling and Analysis of Slot Machines
by: Groote, Jan Friso, et al.
Published: (2024)

Proceedings Eighth Symposium on Working Formal Methods
by: Marin, Mircea, et al.
Published: (2024)

Realizing the totally unordered structure of ordinals
by: Fontanella, Laura, et al.
Published: (2025)

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems
by: ter Beek, Maurice H., et al.
Published: (2026)

On Formally Undecidable Traits of Intelligent Machines
by: Fox, Matthew
Published: (2024)

Formalized Hopfield Networks and Boltzmann Machines
by: Cipollina, Matteo, et al.
Published: (2025)

Constraint Learning for Non-confluent Proof Search
by: Rawson, Michael, et al.
Published: (2026)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
by: Alvarez, David Quinn
Published: (2025)

Formalizing Wu-Ritt Method in Lean 4
by: Xiao, Yuxuan, et al.
Published: (2026)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
by: Schön, Oliver, et al.
Published: (2023)

Formalizing UML State Machines for Automated Verification -- A Survey
by: André, Étienne, et al.
Published: (2024)

Formalizing equivalences without tears
by: de Jong, Tom
Published: (2024)

Formalization of Amicable Numbers Theory
by: Chen, Zhipeng, et al.
Published: (2026)

Meta-Modelling in Formal Concept Analysis
by: Wang, Yingjian
Published: (2024)

Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)

Positive Almost-Sure Termination of Polynomial Random Walks
by: Winkler, Lorenz, et al.
Published: (2025)

Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
by: Xu, Jianfeng
Published: (2025)

Formal Verification of Isothermal Chemical Reactors
by: Feyzishendi, Parivash, et al.
Published: (2025)

A Theory of Formal Choreographic Languages
by: Barbanera, Franco, et al.
Published: (2022)

Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)
by: Li, Letitia W., et al.
Published: (2026)

Formal Verification of the Empty Hexagon Number
by: Subercaseaux, Bernardo, et al.
Published: (2024)

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
by: Cimatti, Alessandro, et al.
Published: (2024)

A Rocq Formalization of Monomial and Graded Orders
by: Boldo, Sylvie, et al.
Published: (2025)

Exploring Formal Math on the Blockchain: An Explorer for Proofgold
by: Brown, Chad E., et al.
Published: (2025)

On Improving Deep Active Learning with Formal Verification
by: Spiegelman, Jonathan, et al.
Published: (2025)

Learning Formal Mathematics From Intrinsic Motivation
by: Poesia, Gabriel, et al.
Published: (2024)

Formal Verification of Parameterized Systems based on Induction
by: Xiu, Jiaqi, et al.
Published: (2025)

Formalizing Representation Theorems for a Logical Framework with Rewriting
by: Traversié, Thomas, et al.
Published: (2025)

Sequencelib: A Computational Platform for Formalizing the OEIS in Lean
by: Moreira, Walter, et al.
Published: (2026)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
by: de Lima, Thaynara Arielly, et al.
Published: (2024)

Formal Quality Measures for Predictors in Markov Decision Processes
by: Baier, Christel, et al.
Published: (2024)

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

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

A Rocq Formalization of Simplicial Lagrange Finite Elements
by: Boldo, Sylvie, et al.
Published: (2026)

Rewriting and Inductive Reasoning
by: Hajdu, Márton, et al.
Published: (2024)

Lazy Reimplication in Chronological Backtracking
by: Coutelier, Robin, et al.
Published: (2025)

Partial Redundancy in Saturation
by: Hajdu, Márton, et al.
Published: (2025)

Finding Connections via Satisfiability Solving
by: Eisenhofer, Clemens, et al.
Published: (2026)