scientific article; zbMATH DE number 7440190

zbMath1482.68102arXiv1607.04457MaRDI QIDQ5015367

Xavier Thirioux, Temesghen Kahsai, Pierre-Loïc Garoche

Publication date: 7 December 2021

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Other nonclassical models of computation (68Q09)

Related Items (1)

Solving constrained Horn clauses over algebraic data types

Uses Software

• SIGNAL
• Simulink
• StateFlow
• LUSTRE
• Esterel
• PKind
• GitHub

Cites Work

• Unnamed Item
• Statecharts: a visual formalism for complex systems
• The Esterel synchronous programming language: Design, semantics, implementation
• Generalized Property Directed Reachability
• Fundamental Approaches to Software Engineering

This page was built for publication: