A compositional automata-based semantics and preserving transformation rules for testing property patterns

DOI10.1007/s00165-014-0328-5zbMath1338.68164OpenAlexW2023120093MaRDI QIDQ493531

Jacques Julliand, Safouan Taha, Bilal Kanso, Frédéric Dadeau, Kalou Cabrera Castillos

Publication date: 3 September 2015

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-014-0328-5

zbMATH Keywords

formal methodstemporal logicstemporal propertiescompositional automata semanticsproperty patternstesting transformation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

A compositional automata-based semantics and preserving transformation rules for testing property patterns

Uses Software

• SPOT
• LTL2BA

Cites Work

• A compositional automata-based semantics and preserving transformation rules for testing property patterns
• The complementation problem for Büchi automata with applications to temporal logic
• The B-Book
• Manipulating LTL Formulas Using Spot 1.0
• Unnamed Item
• Unnamed Item

This page was built for publication: A compositional automata-based semantics and preserving transformation rules for testing property patterns