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 20 of 147 for “"Formal methods"”.
-
A formal methods safe harbor
… prosecution for manufacturers that use formal methods to guarantee safer, more secure devices. To motivate the potential of formal methods, we present a technical contribution: a formally verified connected lightbulb switch, proven immune to certain types of software exploits. We discuss …
-
Formal Methods for Test and Reliability
L'abstract è presente nell'allegato / the abstract is in the attachment
-
Formal methods for design automation application development
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1997.
-
Lightweight Formal Methods for Correct, Efficient Systems Programming
… three systems that use lightweight, practical formal methods to push past this tension between performance and correctness. The Diospyros compiler combines an efficient term-rewriting strategy, equality saturation, with translation validation to find correct, fast vectorizations for specialized …
-
Formal Methods for Intellectual Property Composition Across Synchronization Domains
… correct-by-construction GALS designs. We present formal definitions for the refinements towards different GALS architectures. For facilitating GALS in distributed embedded software, we analyze certain subclasses of synchronous designs using a Pomset-based semantic model that allows for …
-
Formal methods for reuse of design patterns and micro-architectures
… support for different levels of reuse through formal specifications of reusable components. The formal specification language Larch/C++ has been used in reuse research projects and has been found to be adequate for specifying the behavior of class interfaces. We strengthen this claim by …
-
A model checker for statecharts (linking case tools with formal methods)
… development process. They often use graphical formalisms, simulation, and prototyping to help express ideas concisely and unambiguously. Some tools provide little more than syntax checking of the specification but others can test the model for reachability of conditions, nondeterminism, or …
-
Formal methods for safe autonomy: Data-driven verification, synthesis, and applications
DSpace SAF Submission Ingestion Package generated from Vireo submission #14581 on 2020-02-28 at 17:13:55
-
Safe and Efficient Motion Planning in Robotic Manipulation through Formal Methods
… results have shown that the proposed methods outperform baseline methods, providing tools for improving the safety and efficiency of robotic manipulators in complex environments.
-
Using Formal Methods for Building more Reliable and Secure e-voting Systems
… its procedures. We then investigate the usage of formal methods to study and analyze the strength and weaknesses of currently deployed (e-voting) system in order to build the next generation (e-voting) systems. More specifically, we show how formal verification techniques can be used to model and …
-
Novel Formal Methods for the Safety and Security of Cyber-Physical Systems
… and industry practice is inconsistent. Robust methods in the field of formal runtime assurance can be used to verify safety and security policies. They have lower resource overheads than traditional formal methods, appealing to designers with resource constraints. Runtime verification, an area …
-
Bringing requirements engineering to formal methods: timing diagrams for Event-B and KAOS
Event-B is a language for the formal development of reactive systems. At present the RODIN toolkit (RODIN, 2009) for Event-B is used for modelling requirements, specifying refinements and verification. In order to extend the ability to model graphically requirements for the real-time domain, where …
-
Formal Analysis and Design for Engineering Security
… software security properties. The use of formal methods that are based on mathematical models has long been advocated in the development of secure systems, yet the promise of formal methods has not been realized. This is due to the additional discipline needed to formulate precisely the …
-
Specification and implementation of the Larch shared language
This project aims to prototype formal specification in Larch. The motivation for looking at formal specifications stems from an appreciation of the problem outlined above, frustration with current methods, and a desire to practise what is preached. The aim is to implement a formal specification …
-
Semantics-based program verification
"We present language-independent formal methods that are parameterized by the operational semantics of languages. We provide the theory, implementation, and extensive evaluation of the language-parametric formal methods. Specifically, we consider two formal analyses: program verification and …
-
Modeling and Analysis of the Collective Dynamics of Large-Scale Multi-Agent Systems
… intelligence, theoretical computer science, formal methods, computational complexity, cellular and network automata, agent-based modeling, discrete dynamical systems, complex systems.
-
Formal patterns for medical device safety
Formal methods have revolutionized software reliability and safety, and design patterns has revolutionized software reusability and modularity. However, the preciseness required for formal methods and the flexibility inherent in design patterns has rendered these two concepts somewhat disjoint and …
Page 1 of 8