Encode Alloy example, Theory of Lists in Z3

ModelWriter / WP3

A Platform for Automated Analysis of Traceability (WP3)

https://modelwriter.github.io/WP3/

Eclipse Public License 1.0

4 stars 1 forks source link

Open ferhaterata opened 7 years ago

ferhaterata commented 7 years ago

Perform encoding based on the chapter 2 of the following paper from Torlak et. al.

related to #96 @harunuyar