SALT - Structured Assertion Language for Temporal Logic.

Andreas Bauer, Martin Leucker, Jonathan Streit

Browse the full ICFEM paper archive.