scientific article; zbMATH DE number 7447740

MaRDI QIDQ3384887zbMATH OpenFDO

Authors Tobias R. Gundersen, Florian Lorber, Ulrik Nyman, Christian Ovesen

Publication date 17 December 2021

Full work available at URL https://arxiv.org/abs/1809.03889, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.11

Mathematics Subject Classification ID

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

Recommendations

• A local approach to the testing of real-time systems
• Conformance tests for real-time systems with timed automata specifications
• Conformance testing for real-time systems
• On Conformance Testing for Timed Systems
• A Method for Testing the Conformance of Real Time Systems
• A fault-detection approach to the conformance testing of nondeterministic systems
• Model Checking Software

Cites work

• Formal Approaches to Software Testing
• Timed I/O automata: a complete specification theory for real-time systems

Describes a project that uses

Uses Software

• ECDAR

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384887)