FM 2005: Formal Methods

DOI10.1007/b27882zbMath1120.68409OpenAlexW1497681073MaRDI QIDQ5716875

Axel Belinfante, Henrik C. Bohnenkamp

Publication date: 10 January 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b27882

zbMATH Keywords

ToolsTimed AutomataModel-based on-the-fly TestingReal-Time TestingTorX

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

On Conformance Testing for Timed Systems ⋮ Model-based testing of probabilistic systems ⋮ From generating process views over inter-organizational business processes to achieving their temporal consistency ⋮ TorX

This page was built for publication: FM 2005: Formal Methods