scientific article; zbMATH DE number 7453189

MaRDI QIDQ5020648

Alain Finkel

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/2008.02929

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automates a file
• Algorithmic analysis of programs with well quasi-ordered domains.
• Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations
• MONOTONIC ABSTRACTION: ON EFFICIENT VERIFICATION OF PARAMETERIZED SYSTEMS
• On Communicating Finite-State Machines
• The Well Structured Problem for Presburger Counter Machines
• Well-structured transition systems everywhere!

This page was built for publication: