|
Journals in DBLP
STTT 2007, volume: 9, number: 1
- Deepak D'Souza, Pavithra Prabhakar
On the expressiveness of MTL in the pointwise and continuous semantics. [Citation Graph (0, 0)][DBLP] STTT, 2007, v:9, n:1, pp:1-4 [Journal]
- Marco Bozzano, Adolfo Villafiorita
The FSAP/NuSMV-SA Safety Analysis Platform. [Citation Graph (0, 0)][DBLP] STTT, 2007, v:9, n:1, pp:5-24 [Journal]
- Michael Huth
Some current topics in model checking. [Citation Graph (0, 0)][DBLP] STTT, 2007, v:9, n:1, pp:25-36 [Journal]
- Aleksandar Dimovski, Ranko Lazic
Compositional software verification based on game semantics and process algebra. [Citation Graph (0, 0)][DBLP] STTT, 2007, v:9, n:1, pp:37-51 [Journal]
- Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
Model-checking the preservation of temporal properties upon feature integration. [Citation Graph (0, 0)][DBLP] STTT, 2007, v:9, n:1, pp:53-62 [Journal]
- Radu Siminiceanu, Gianfranco Ciardo
Formal verification of the NASA runway safety monitor. [Citation Graph (0, 0)][DBLP] STTT, 2007, v:9, n:1, pp:63-76 [Journal]
- Cécile Braunstein, Emmanuelle Encrenaz
CTL-property Transformations along an Incremental Design Process. [Citation Graph (0, 0)][DBLP] STTT, 2007, v:9, n:1, pp:77-88 [Journal]
- Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham
Improved verification of hardware designs through antecedent conditioned slicing. [Citation Graph (0, 0)][DBLP] STTT, 2007, v:9, n:1, pp:89-101 [Journal]
|