Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.

Carlo A. Furia Matteo Pradella Matteo Rossi

Published in: FM (2008)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
finite state
multi task learning
temporal logic
closed form
approximation algorithms
graph theory
formal specification
theorem proving
error bounds
inductive learning