|
|
Journals in DBLP
STTT
2003, volume: 4, number: 3
- Jeannette M. Wing
Platitudes and attitudes. [Citation Graph (0, 0)][DBLP]
STTT, 2003, v:4, n:3, pp:261-265 [Journal]
- Tiziana Margaria
Preface by the section editor. [Citation Graph (0, 0)][DBLP]
STTT, 2003, v:4, n:3, pp:266-270 [Journal]
- Alan Mycroft, Richard Sharp
Higher-level techniques for hardware description and synthesis. [Citation Graph (0, 0)][DBLP]
STTT, 2003, v:4, n:3, pp:271-297 [Journal]
- Mark Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones
A framework for superscalar microprocessor correctness statements. [Citation Graph (0, 0)][DBLP]
STTT, 2003, v:4, n:3, pp:298-312 [Journal]
- Skander Kort, Sofiène Tahar, Paul Curzon
Hierarchical formal verification using a hybrid tool. [Citation Graph (0, 0)][DBLP]
STTT, 2003, v:4, n:3, pp:313-322 [Journal]
- Roope Kaivola, Katherine R. Kohatsu
Proof engineering in the large: formal verification of Pentium?4 floating-point divider. [Citation Graph (0, 0)][DBLP]
STTT, 2003, v:4, n:3, pp:323-334 [Journal]
- Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
Efficient debugging in a formal verification environment. [Citation Graph (0, 0)][DBLP]
STTT, 2003, v:4, n:3, pp:335-348 [Journal]
- Koen Claessen, Mary Sheeran, Satnam Singh
Using Lava to design and verify recursive and periodic sorters. [Citation Graph (0, 0)][DBLP]
STTT, 2003, v:4, n:3, pp:349-358 [Journal]
- Xiaohua Kong, Radu Negulescu, Larry Weidong Ying
Refinement-based formal verification with heterogeneous timing. [Citation Graph (0, 0)][DBLP]
STTT, 2003, v:4, n:3, pp:359-370 [Journal]
- César Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler
Formal verification of conflict detection algorithms. [Citation Graph (0, 0)][DBLP]
STTT, 2003, v:4, n:3, pp:371-380 [Journal]
- Karim El Guemhioui
A framework for distributing object-oriented designs. [Citation Graph (0, 0)][DBLP]
STTT, 2003, v:4, n:3, pp:381-396 [Journal]
|
