Skip to content

This repository is a source code of my master thesis. In my master thesis, I developed a prototype to translate TLA+ expressions to the SMT-LIB language, and to verify safety properties with SMT solvers, IC3-based techniques and user-guided predicate abstraction.

Notifications You must be signed in to change notification settings

banhday/tlatools_tthai

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

12 Commits
 
 

About

This repository is a source code of my master thesis. In my master thesis, I developed a prototype to translate TLA+ expressions to the SMT-LIB language, and to verify safety properties with SMT solvers, IC3-based techniques and user-guided predicate abstraction.

Topics

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages