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
formal methodstemporal logicstemporal propertiescompositional automata semanticsproperty patternstesting transformation
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
Uses Software
Cites Work
This page was built for publication: A compositional automata-based semantics and preserving transformation rules for testing property patterns