Partial models and weak equivalence

DOI10.1007/978-3-319-10882-7_6MaRDI QIDQ2938153zbMATH OpenOpenAlexFDO

Authors Adilson Luiz Bonifacio, Arnaldo Vieira Moura

Publication date 13 January 2015

Published in Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10882-7_6

zbMATH Keywords

confirmed setspartial modelstest-suite completenessweak equivalence

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Complete open-state testing of limitedly nondeterministic systems
• Complete model-based equivalence class testing for nondeterministic systems
• Partial model checking of modal equations: a survey
• Model partitions and compact test case suites
• A General Testability Theory

Cited in

(3)

• A weak correspondence principle for models with complementarities.
• Weak domain models of T₁ spaces
• Thin equivalence relations and inner models

This page was built for publication: Partial models and weak equivalence

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