scientific article; zbMATH DE number 7455750

MaRDI QIDQ5021015

Leonardo Mangeruca, Tiziano Villa, Íñigo X. Íncer Romeo, Alberto L. Sangiovanni-Vincentelli

Publication date: 11 January 2022

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

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

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• BALM-II

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Timed modal logics for real-time systems. Specification, verification and control
• Bisimulation, the supervisory control problem and strong model matching for finite state machines
• A discrete event systems approach for protocol conversion
• Using logic to solve the submodule construction problem
• Interface synthesis and protocol conversion
• Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
• A Modal Interface Theory for Component-based Design
• The Unknown Component Problem
• Multiple Viewpoint Contract-Based Specification and Design
• On the Construction of Submodule Specifications and Communication Protocols
• An Approach to Unified Methodology of Combinational Switching Circuits
• Model matching for finite-state machines
• Automated Synthesis of Protocol Converters with BALM-II
• Verification: Theory and Practice
• The Simplification of Sequential Machines with Input Restrictions

This page was built for publication: