English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Context: The complexity of modern safety-critical systems in industries keepon increasing due to the rising number of features and functionalities. Thiscalls for formal methods in order to entrust confidence in such systems.Nevertheless, using formal methods in industry is demanding because ofusability issues, e.g., the difficulty of understanding model checking results.Thus the hypothesis is, presenting the result of model checker results in auser-friendly manner could promote formal methods usage in industries.Objective: We aim to evaluate the acceptance of formal methods by engineers ifthe complexity of understanding verification results is made easy. Method: Weperform two different exploratory studies. First, we conduct an online surveyto explore challenges in identifying inconsistent specifications and usingformal methods from engineers. Second, we perform a one group pretest andposttest experiment to collect impressions from engineers using formal methodsif understanding verification results is eased. Limitations: The mainlimitation of this study is the generalization because the survey focuses on aparticular target group and it uses a pre-experimental design.

A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation