Thomas Lidbetter, Master candidate
David R. Cheriton School of Computer Science
In this talk we consider two mostly disjoint topics in formal language theory that both involve the study and use of regular languages. The first topic lies in the intersection of automata theory and additive number theory.
Murray Dunne, Master’s candidate
David R. Cheriton School of Computer Science
Distributed, life-critical systems that bridge the gap between software and hardware are becoming an integral part of our everyday lives. From autonomous cars to smart electrical grids, such cyber-physical systems will soon be omnipresent. With this comes a corresponding increase in our vulnerability to cyber-attacks. Monitoring such systems to detect malicious actions is of critical importance.
Dhinakaran Vinayagamurthy, PhD candidate
David R. Cheriton School of Computer Science
Jade Marcoux-Ouellet, Master’s candidate
David R. Cheriton School of Computer Science
Ali Abbassi, Master’s candidate
David R. Cheriton School of Computer Science
We present a variety of translation options for converting Alloy to SMT-LIB via Alloy’s Kodkod interface. Our translations, which are implemented in a library that we call Astra, are based on converting the set and relational operations of Alloy into their equivalent in typed first order logic (TFOL).
