Browsing Engineering (Faculty of) by Subject "verification"
Now showing items 1-4 of 4
-
Model Based Automotive System Design: A Power Window Controller Case Study
(University of Waterloo, 2015-03-24)Modern day vehicles come equipped with a large number of sensors, actuators and ECU’s with sophisticated control algorithms, which requires engineering activities from various disciplines. An automotive system is developed ... -
Parallel Run-Time Verification
(University of Waterloo, 2013-01-24)Run-time verification is a technique to reason about a program correctness. Given a set of desirable properties and a program trace from the inspected program as an input, the monitor module verifies that properties hold ... -
A Reduction from Smart Contract Verification to Model Checking
(University of Waterloo, 2021-08-25)We present a reduction from verification of smart contracts to model checking. A smart contract is a computer program written in a language with constructs that correspond to real-world contracts, such as verified sending ... -
Verification of Pipelined Ciphers
(University of Waterloo, 2009-01-29)The purpose of this thesis is to explore the formal verification technique of completion functions and equivalence checking by verifying two pipelined cryptographic circuits, KASUMI and WG ciphers. Most of current methods ...