Formal verification: will the seedling ever flower?
Sign Up to like & getrecommendations! Published in 2017 at "Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences"
DOI: 10.1098/rsta.2015.0402
Abstract: In one sense, formal specification and verification have been highly successful: techniques have been developed in pioneering academic research, transferred to software companies through training and partnerships, and successfully deployed in systems with national significance.… read more here.
Keywords: formal verification; verification; verification seedling; seedling ever ... See more keywords
A Research Landscape on Formal Verification of Software Architecture Descriptions
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Access"
DOI: 10.1109/access.2019.2953858
Abstract: One of the many different purposes of software architecture descriptions is contributing to an early analysis of the architecture with respect to quality attributes. The critical nature of many software systems calls for formal approaches… read more here.
Keywords: architecture descriptions; architecture; software; formal verification ... See more keywords
Formal Verification of AADL Models by Event-B
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Access"
DOI: 10.1109/access.2020.2987972
Abstract: AADL is widely used to depict the architecture and behavior of real-time safety-critical systems such as avionics and aerospace. The development of these systems has strict requirements for building fault-free systems. Formal verification is frequently… read more here.
Keywords: verification; model; formal verification; aadl model ... See more keywords
Formal Verification of Blockchain Smart Contracts via ATL Model Checking
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3143145
Abstract: A blockchain is a list of data blocks as a publicly distributed ledger, which are linked together using cryptography. By allowing Turing-complete programming languages to implement smart contracts, recent blockchains such as Ethereum can reduce… read more here.
Keywords: formal verification; smart contracts; blockchain smart; atl model ... See more keywords
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2023.3255141
Abstract: This article is concerned with a formal verification scheme for both discrete- and continuous-time deterministic systems with unknown mathematical models. The main target is to verify the safety of unknown systems based on the construction… read more here.
Keywords: discrete continuous; time; safety; continuous time ... See more keywords
A Formal Verification Method for the SOPC Software
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Reliability"
DOI: 10.1109/tr.2022.3166548
Abstract: System on programmable chip (SOPC) is a kind of system on a programmable chip. The system architecture is superior to the traditional design pattern. The system has an on-chip bus between the processor and the… read more here.
Keywords: software; system; formal verification; method ... See more keywords
Formal Verification on the Safety of Internet of Vehicles Based on TPN and Z
Sign Up to like & getrecommendations! Published in 2020 at "Mathematical Problems in Engineering"
DOI: 10.1155/2020/6618168
Abstract: Nowadays, the Internet of Vehicles has become the focus of global technological innovation and transformation in the automotive industry. Its flow modelling appears to play a very important role for designing and controlling the transportation… read more here.
Keywords: internet vehicles; safety; formal verification; petri net ... See more keywords
Towards the Design of a Formal Verification and Evaluation Tool of Real-Time Tasks Scheduling of IoT Applications
Sign Up to like & getrecommendations! Published in 2019 at "Sustainability"
DOI: 10.3390/su11010204
Abstract: Real-Time Internet of Things (RT-IoT) is a newer technology paradigm envisioned as a global inter-networking of devices and physical things enabling real-time communication over the Internet. The research in Edge Computing and 5G technology is… read more here.
Keywords: iot applications; time; real time; time tasks ... See more keywords