Towards certification of TLA proof obligations with SMT solvers Stephan Merz and Hern´an Vanzetto∗ INRIA Nancy Grand-Est - Merz - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2011-08-12 05:51:25		Towards certification of TLA+ proof obligations with SMT solvers Stephan Merz and Hern´an Vanzetto∗ INRIA Nancy Grand-Est & LORIA Nancy, France Abstract Add to Reading List Source URL: pxtp2011.loria.fr Download Document from Source Website File Size: 150,71 KB Share Document on Facebook