Browsing Waterloo Research by Author "Vakili, Amirhossein"

Some users are experiencing upload errors at the moment. If you receive a "UWSpace is down for maintenance" error, please email jordan.hale@uwaterloo.ca as soon as possible. We are very sorry for the inconvenience.

Now showing items 1-3 of 3

Finite Model Finding Using the Logic of Equality with Uninterpreted Functions

Vakili, Amirhossein; Day, Nancy A. (Springer, 2016)

The problem of finite model finding, finding a satisfying model for a set of first-order logic formulas for a finite scope, is an important step in many verification techniques. In MACE-style solvers, the problem is mapped ...
Representing Behavioural Models with Rich Control Structures in SMT-LIB

Day, Nancy A.; Vakili, Amirhossein (University of Waterloo, 2015-09-01)

We motivate and present a proposal for how to represent extended finite state machine behavioural models with rich hierarchical states and compositional control structures (e.g., the Statecharts family) in SMT-LIB. Our ...
Representing hierarchical state machine models in SMT-LIB

Day, Nancy A.; Vakili, Amirhossein (ACM, 2016-05)

We motivate and present a proposal for how to represent the syntax of behavioural models written in extended finite-state machine languages with hierarchical states (e.g., the Statecharts family) in SMT-LIB. By including ...

Browsing Waterloo Research by Author "Vakili, Amirhossein"

Finite Model Finding Using the Logic of Equality with Uninterpreted Functions ﻿

Representing Behavioural Models with Rich Control Structures in SMT-LIB ﻿

Representing hierarchical state machine models in SMT-LIB ﻿

Finite Model Finding Using the Logic of Equality with Uninterpreted Functions

Representing Behavioural Models with Rich Control Structures in SMT-LIB

Representing hierarchical state machine models in SMT-LIB