Login / Signup
Bounded satisfiability checking of metric temporal logic specifications.
Matteo Pradella
Angelo Morzenti
Pierluigi San Pietro
Published in:
ACM Trans. Softw. Eng. Methodol. (2013)
Keyphrases
</>
metric temporal logic
formal specification
computer vision
decision trees
functional requirements
neural network
information systems
website
clustering algorithm
high level
data structure
real time
asymptotically optimal
formal language
reactive systems
concurrent systems
delay insensitive
transition systems