Published April 5, 2016 | Version v1
Dataset Open

How Bit-Vector Logic Can Help Improve the Verification of First-Order LTL Specifications

Authors/Creators

  • 1. Politecnico di Milano

Description

Experimental evaluation for the encoding presented in the paper "How Bit-Vector Logic Can Help Improve the Verification of First-Order LTL Specifications".

The encoding is implemented as a zot plugin entitled ae2bvzot.

Files

ae2bvzot.zip

Files (5.4 MB)

Name Size Download all
md5:9e0444fb9bca7bc9d69b84c3ba798f8d
3.6 MB Preview Download
md5:308ada99f27259d1536ff9cc6cba1ef8
1.7 MB Preview Download
md5:b594cbebd1c8062e44eadca2e245f4ac
71.6 kB Preview Download