Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016 The Context-aware approach has proven to be an effective technique for software model-checking verification. It focuses on the explicit modelling of environment as one or more contexts.
Amel Benabbou +2 more
doaj +1 more source
Formal Verification of the FDO Protocol
2023 IEEE Conference on Standards for Communications and Networking (CSCN), 2023 Fido Device Onboarding (FDO) by the FIDO Alliance is expected to become the leading standard protocol for device secure onboarding. It is automatic, plug&play and it enables late binding. It overcomes the problems related to both proprietary zero-touch protocols and the traditional manual approach.
Simone Bussa +2 more
openaire +3 more sources
Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier with Redundant Feedback [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 We present the formal verification of a low-power x86 floating-point multiplier. The multiplier operates iteratively and feeds back intermediate results in redundant representation. It supports x87 and SSE instructions in various precisions and can block
Peter-Michael Seidel
doaj +1 more source
Formal Verification of a Hybrid IoT Operating System Model
IEEE Access, 2021 The Internet of Things (IoT) is becoming an increasingly common paradigm. As IoT usage scenarios have increased, many challenges in IoT operating systems’ safety and adaptability have remained.
Yuqian Guan, Jian Guo, Qin Li
doaj +1 more source
A Specification-Based Semi-Formal Functional Verification Method by a Stage Transition Graph Model
IEEE Access, 2019 The semi-formal verification method, in which the functionality is formally specified and the checking is undertaken through the formal model-based simulation, has been a promising choice for the functional verification of hardware designs.
Zhao Lv +3 more
doaj +1 more source
Towards automatic Maude specifications generation from C functions
Journal of Innovation Information Technology and Application, 2023 In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively.
fateh boutekkouk
doaj +1 more source
Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal
Frontiers in Robotics and AI, 2022 Active debris removal in space has become a necessary activity to maintain and facilitate orbital operations. Current approaches tend to adopt autonomous robotic systems which are often furnished with a robotic arm to safely capture debris by identifying
Marie Farrell +4 more
doaj +1 more source
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 [PDF]
, 2020 The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core +2 more sources
SMACS: A framework for formal verification of complex adaptive systems
Open Computer Science, 2023 Self-adaptive systems (SASs) have the capability to evaluate and change their behavior according to changes occurring in the environment. Research in this field is being held since mid-60, and over the last decade, the importance of self-adaptivity is ...
Fakhir Ilyas +3 more
doaj +1 more source
A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking [PDF]
Journal of Universal Computer Science, 2023 Verification of chatbot conversational flows is paramount to capturing and understanding chatbot behavior and predicting problems that would cause the entire flow to be restructured from scratch.
Geovana Ramos Sousa Silva +2 more
doaj +3 more sources