There is a newer version of the record available.

Published August 23, 2024 | Version pub/covering-journal-2
Software Open

ths-rwth/smtrat: pub/covering-journal-2

Creators

  • 1. Theory of Hybrid Systems group @ RWTH
  • 2. Theory of Hybrid Systems - RWTH Aachen University
  • 3. Radboud University
  • 4. Eindhoven University of Technology
  • 5. RWTH Aachen University
  • 6. Trail of Bits
  • 7. Runtime Verification

Description

Release associated with the paper "Extensions of the Cylindrical Algebraic Covering Method for Quantifiers".

Files

ths-rwth/smtrat-pub/covering-journal-2.zip

Files (9.4 MB)

Name Size Download all
md5:2cbeb2f6d744cdcbd62bab46537de16d
9.4 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/ths-rwth/smtrat/tree/pub/covering-journal-2 (URL)