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

The software development process for embedded systems is getting faster andfaster, which generally incurs an increase in the associated complexity. As aconsequence, consumer electronics companies usually invest a lot of resourcesin fast and automatic verification processes, in order to create robust systemsand reduce product recall rates. Because of that, the present paper proposes asimplified version of the Qt framework, which is integrated into the EfficientSMT-Based Bounded Model Checking tool to verify actual applications that usethe mentioned framework. The method proposed in this paper presents a successrate of 94.45%, for the developed test suite.

Bounded Model Checking of C++ Programs Based on the Qt Framework (extended version)