Results 31 to 40 of about 3,157,454 (357)
USABILITY REQUIREMENT OF FORMAL VERIFICATION TOOLS
Asia-Pacific Journal of Information Technology and Multimedia, 2012 Formal notations employ mathematical symbols and interpretation to illustrate system elements. The formality imposed by the notations allows the accuracy and consistency of a system model to be confirmed by verification tools. Formal notations on
Rozilawati Razali, Paul Garratt
doaj +1 more source
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
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
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
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions
IEEE Access, 2020 Formal methods play an important role in testing and verifying software quality, especially in modern society with rapid technological updates.
Fujun Wang +3 more
doaj +1 more source
Formal Verification of Emergent Properties
Informatica, 2021 Complex systems and systems of systems (SoS) are systems characterized by the interconnection of a large number of components or sub-systems. The complexity of such systems increases with the number of components and their manner of connectivity.The global behavior of complex systems and SoS exhibits some properties that cannot be predicted by ...
Boumaza, Kamal +2 more
openaire +4 more sources
Towards Evaluating Size Reduction Techniques for Software Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Formal verification techniques are widely used for detecting design flaws in software systems. Formal verification can be done by transforming an already implemented source code to a formal model and attempting to prove certain properties of the model (e.
Gyula Sallai +3 more
doaj +1 more source
Formal Verification of Language-Based Concurrent Noninterference
Journal of Formalized Reasoning, 2013 We perform a formal analysis of compositionality techniques for proving possibilistic noninterference for a while language with parallel composition.
Andrei Popescu +2 more
doaj +1 more source
Formal Verification of STPA with Model Checking
Scientific Journal of Gdynia Maritime University, 2023 As technology advances, hardware-centric systems are rapidly moving towards software-centric ones, and their complexity is rapidly increasing. In particular, systems directly related to safety require thorough verification.
Ryeonggu Kwon, Gihwon Kwon
doaj +1 more source
Formal verification in a commercial setting [PDF]
Proceedings of the 34th annual conference on Design automation conference - DAC '97, 1997 This tutorial addresses the following questions: why do formal verification? who is doing it today? what are they doing? how are they doing it? what about the future?
openaire +2 more sources