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

An automated counterexample reproducibility tool based on MATLAB ispresented, called DSValidator, with the goal of reproducing counterexamplesthat refute specific properties related to digital systems. We exploitcounterexamples generated by the Digital System Verifier (DSVerifier), which isa model checking tool based on satisfiability modulo theories for digitalsystems. DSValidator reproduces the execution of a digital system, relating itsinput with the counterexample, in order to establish trust in a verificationresult. We show that DSValidator can validate a set of intricatecounterexamples for digital controllers used in a real quadrotor attitudesystem within seconds and also expose incorrect verification results inDSVerifier. The resulting toolbox leverages the potential of combiningdifferent verification tools for validating digital systems via an exchangeablecounterexample format.

DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems (Tool Demonstration)