Results 271 to 280 of about 88,794 (289)

Static Verification of UML Model Consistency

, 2006
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes inconsistent or incomplete. Hence, it is important to provide means to check the consistency and
BARUZZO andrea, COMINI, Marco
core   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

Verification under causally consistent shared memory

ACM SIGLOG News, 2019
We consider concurrent programs interacting with causally consistent shared memory. After describing the semantics of such programs, we outline several verification problems and survey some existing solutions.
openaire   +1 more source

Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements

IEEE Transactions on Intelligent Transportation Systems, 2023
Xiaohong Chen, Zhi Jin, Min Zhang
exaly  

Integrity, Consistency, and Verification of Remote Computation

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014
openaire   +1 more source

Consistency and Persistency in Program Verification: Challenges and Opportunities

2022
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson 0001, K. Narayan Kumar, Prakash Saivasan   +5 more
openaire   +1 more source

Hierarchical motion consistency constraint for efficient geometrical verification in UAV stereo image matching

ISPRS Journal of Photogrammetry and Remote Sensing, 2018
San Jiang, Wanshou Jiang
exaly  

Legendre polynomials based feature extraction for online signature verification. Consistency analysis of feature combinations

Pattern Recognition, 2014
Marianela Parodi, Juan C Gomez
exaly  

Data consistency verification in blockchain

AIP Conference Proceedings
Sasikala Chinthakunta, Sai Manjeera Medavaram Lakshmi Ranga, Sunil Babu Yerragorla, Navya Lingutla   +3 more
openaire   +1 more source

Multiple states based temporal consistency for dynamic verification of fixed-time constraints in Grid workflow systems

Concurrency Computation Practice and Experience, 2007
Jinjun Chen, Yun Yang
exaly  

Consistency Verification Method For Capability Requirements And Planned Project Specifications

2023
Chengtao Xu, Junxian Liu
exaly