Search
Search Results
-
Combining Deductive Verification with Shape Analysis
Deductive verification tools can prove a large range of program properties, but often face issues on recursive data structures. Abstract... -
Automatic Program Instrumentation for Automatic Verification
In deductive verification and software model checking, dealing with certain specification language constructs can be problematic when the back-end... -
Modeling and verification of software evolution using bigraphical reactive system
Changes are inevitable in software due to technology advancements, and changes in business requirements. Making changes in the software by insertion,...
-
Template-Based Verification of Array-Manipulating Programs
This work deals with the 2LS program verification framework that combines several verification techniques—namely, abstract domains, templated... -
Formal verification for security and attacks in IoT physical layer
IoT devices are more important than ever. In a connected world, IoT devices have many uses. They are no longer merely used at work; they are part of...
-
Advances in modeling, verification and testing of safety-critical software architectures
In this special issue of moDeling, vErification and Testing of dEpendable CriTical systems (DETECT) entitled Advances in modeling, verification and...
-
Attention-based multiple siamese networks with primary representation guiding for offline signature verification
In the area of biometrics and document forensics, handwritten signatures are one of the most commonly accepted symbols. Thus, financial and...
-
Advances in automated support for requirements engineering: a systematic literature review
Requirements Engineering (RE) has undergone several transitions over the years, from traditional methods to agile approaches emphasising increased...
-
Face mask effects on speaker verification performance in the presence of noise
Due to its spread via physical contact and the regulations on wearing face masks, COVID-19 has resulted in tough challenges for speaker recognition....
-
Automated credit assessment framework using ETL process and machine learning
In the current business scenario, real-time analysis of enterprise data through Business Intelligence (BI) is crucial for supporting operational...
-
Automated requirement contradiction detection through formal logic and LLMs
This paper introduces ALICE (Automated Logic for Identifying Contradictions in Engineering), a novel automated contradiction detection system...
-
Verification of Compliance for Multilevel Models in Individual Trace Semantics
AbstractThis paper presents new verification techniques that target to prove multimodel compliance in terms of individual trace semantics. As...
-
DeepSignature: fine-tuned transfer learning based signature verification system
With the rapid advancement in computer science and information technology, the demand for authentication of a person in different organizations,...
-
Pioneering automated vulnerability detection for smart contracts in blockchain using KEVM: Guardian ADRGAN
Smart contracts function like specialized computer programs on the blockchain. Many of these contracts are on Ethereum, but sometimes these contracts...
-
Transforming online voting: a novel system utilizing blockchain and biometric verification for enhanced security, privacy, and transparency
As a cornerstone of democratic governance, elections hold unparalleled significance, sha** a nation’s trajectory. However, the prevailing...
-
Formula Normalizations in Verification
We apply and evaluate polynomial-time algorithms to compute two different normal forms of propositional formulas arising in verification. One of the... -
A Semi-automated Approach for Bengali Neologism
Neologisms refer to newly coined words or phrases adopted by a language, and it is a slow but ongoing process that occurs in all languages....
-
-
Automated legal reasoning with discretion to act using s(LAW)
Automated legal reasoning and its application in smart contracts and automated decisions are increasingly attracting interest. In this context,...
-
Rational verification: game-theoretic verification of multi-agent systems
We provide a survey of the state of the art of rational verification : the problem of checking whether a given temporal logic formula ϕ is satisfied...