Results 1 to 10 of about 1,347,993 (267)
Reasoning Method between Polynomial Error Assertions
Information, 2021 Error coefficients are ubiquitous in systems. In particular, errors in reasoning verification must be considered regarding safety-critical systems. We present a reasoning method that can be applied to systems described by the polynomial error assertion ...
Peng Wu +3 more
doaj +1 more source
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ASTESIANO, EGIDIO, REGGIO, GIANNA
openaire +3 more sources
A Synthesis-Based Stateful Approach for Guiding Design Thinking in Embedded System Development
Software, 2023 Embedded systems have attracted more attention and have become more critical due to the recent computer technology advancements and applications in various areas, such as healthcare, transportation, and manufacturing.
Hung-Fu Chang +1 more
doaj +1 more source
A Machine Proof System of Point Geometry Based on Coq
Mathematics, 2023 An important development in geometric algebra in recent years is the new system known as point geometry, which treats points as direct objects of operations and considerably simplifies the process of geometric reasoning.
Siran Lei +4 more
doaj +1 more source
ACM Computing Surveys, 2009 Formal methods use mathematical models for analysis and verification at any part of the program life-cycle. We describe the state of the art in the industrial use of formal methods, concentrating on their increasing use at the earlier stages of specification and design.
Jim Woodcock 0001 +3 more
openaire +3 more sources
Analyzing Security Protocol Web Implementations Based on Model Extraction With Applied PI Calculus
IEEE Access, 2020 Analyzing security protocol web implementations is a crucial part of web security. Based on the model extraction technology, this paper first defines SubJavaScript and SubPython languages, and then establishes mapping models from SubPython and ...
Xudong He +5 more
doaj +1 more source
Method of Updating Formal Concept Under Covering Multi-granularity [PDF]
Jisuanji kexue, 2023 Multi-granularity formal concept analysis is an important tool for data mining and knowledge discovery.This paper studies the methods of coarsening and refining formal concepts under multi-granularity.Firstly,it is proved that the existing concept ...
WANG Taibin, LI Deyu, ZHAI Yanhui
doaj +1 more source
Application of Formal Methods in Power Grid Cyber Physical Systems
Zhongguo dianli, 2021 The embedded terminals in the power grid cyber physical systems need to not only have the ability of information interaction, but also meet the real-time requirements of measurement and control under resource constraints.
Li HUANG +3 more
doaj +1 more source
A Cloud-Based Trust Management Framework for Vehicular Social Networks
IEEE Access, 2017 The mobile industry's evolution from 4G to 5G will lead to a deep progress on mobile applications that are widely used in some new environments, such as vehicular social networks (VSNs). In VSNs, which are considered the first automobile social networks,
Xiao Chen, Liangmin Wang
doaj +1 more source
A Survey on Security Verification of Blockchain Smart Contracts
IEEE Access, 2019 A smart contract is an agreement between two or more parties, which is executed by the computer code. The code does the execution without giving either party the ability to back out, so it ensures the trustless execution. The smart contract is one of the
Jing Liu, Zhentian Liu
doaj +1 more source