DMCA
A Finite-Domain Semantics for Testing Temporal Logic Specifications
by
Alberto Coen-Porisini Matteo
,
Matteo Pradella
,
Pierluigi San Pietro
| Citations: | 3 - 1 self |
BibTeX
@MISC{Matteo_afinite-domain,
author = {Alberto Coen-Porisini Matteo and Matteo Pradella and Pierluigi San Pietro},
title = {A Finite-Domain Semantics for Testing Temporal Logic Specifications},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
A method to achieve executability of temporal logic specifications is restricting the interpretation of formulas over finite domains.
