Test Generation from Recursive Tiles Systems

DOI10.1007/978-3-642-30473-6_9zbMath1354.68056OpenAlexW1784926803MaRDI QIDQ2900183

Christophe Morvan, Sébastien Chédor, Thierry Jéron

Publication date: 20 July 2012

Published in: Tests and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30473-6_9

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems

Uses Software

• TorX