Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 13 of 13 for “"Automated Verification"”.
-
Automated verification of model-based programs under uncertainty
… testing, leading to a need for new approaches to verification and validation. We propose a novel verification approach that generates an analysis of the most likely failure scenarios for a model-based program. By finding only the lost likely failures, we increase the relevance and reduce the …
-
Automated Verification of Object Petri Nets based on Transformation, Unfoldings and SAT Solving
… to modelling but lack generally adopted verification techniques. The main challenge in this regard is posed by the highly expressive nature of of the underlying class of Petri nets utilised in the object Petri net. Some modifications have to be enforced in order to make verification …
-
Efficient matrix-free implementation and automated verification of hybridizable discontinuous Galerkin finite element methods
… complexity of the implementation, we provide an automated and computationally efficient verification procedure for the HDG methodologies discussed, using a hierarchical approach to provide diagnostic information and isolate problems. Finally, challenges related to the effective visualization of …
-
Modeling Insecurity: Enabling Recovery -Oriented Security With Dynamic Policies
… and mechanisms during an attack. Using our automated verification methodology, we formally prove for the first time whether strategies such as selective filtering, strong-authentication, and client-puzzles reduce the vulnerability of an example network to DoS attacks.
-
An Automated Test Station Design Used to Verify Aircraft Communication Protocols
<p> <p>Requirements verification is typically the costliest part of the systems engineering design process. In the commercial aircraft industry, as the software and hardware design evolves, it must be verified to conform to requirements. In addition, when new design releases are made, regression …
-
Directed search for the verification of communication protocols
… of software <br>and hardware systems. Automated verification techniques basically <br>explore the state space of a system in order to establish whether or <br>not it behaves correctly. The main drawback of such methods is the state explosion problem. The size of the state space can grow …
-
^An^ environment for compositional specification verification of complex embedded systems
This work is concerned with the automated verification of models of embedded systems using Model Checking. On the basis of the industrially wide-spread V-model a verification environment is presented, which connects a multiplicity of different techniques of Model Checking in a flexible Workflow. …
-
Approximation Based Safety and Stability Verification of Hybrid Systems
… issue, and this thesis concerns automatic verification of their models to improve the confidence in these systems. Automatic verification of hybrid systems is an extremely challenging task, owing to the many undecidability results in the literature. Automated verification has been seen to …
-
Automated deductive verification of systems software
… is of paramount importance. This thesis explores automated deductive verification for increasing reliability and security of systems software. The thesis is comprised of the three main threads. The first thread describes how the state-of-the art deductive verification techniques can help in …
-
Smart contracts and their application in supply chain management
… They reduce complexity in a supply chain through automated verification and execution of the multiple business transactions involved. A decentralized, immutable record also ensures all stakeholders have equal access to information and helps build trust. Smart contracts improve the transparency, …
-
Integrated application of compositional and behavioural safety analysis
… system safety analysis via application of formal verification techniques such as model checking on behavioural models of the system represented as state automata. So far, compositional safety analysis and formal verification have been developed separately and seen as two competing paradigms to the …
-
Modelling and Synthesis of Safety-critical Software with IEC 61499
… lacks the semantic rigour necessary for the automated verification and unambiguous execution of function blocks. In particular, the model of concurrency for a network of function blocks running in a centralized or distributed fashion is not clear. Several scheduling techniques have been …
-
Towards eliminating expert creative help in automated reasoning
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-03-28 without embargo terms