Browsing Engineering (Faculty of) by Author "Berzish, Murphy"
Now showing items 1-2 of 2
-
A Software Toolchain for Physical System Description and Synthesis, and Applications to Microfluidic Design Automation
Berzish, Murphy (University of Waterloo, 2016-05-11)Microfluidic circuits are currently designed by hand, using a combination of the designer’s domain knowledge and educated intuition to determine unknown design parameters. As no microfluidic circuit design software exists ... -
Z3str4: A Solver for Theories over Strings
Berzish, Murphy (University of Waterloo, 2021-06-15)Satisfiability Modulo Theories (SMT) solvers supporting rich theories of strings have facilitated numerous industrial applications with the need to reason about string operations and predicates that are present in many ...