Preface by the section editor Rance Cleaveland Special section on alternative approaches to symbolic verification Pages: 247 - 249
Constraint-based deductive model checking Giorgio DelzannoAndreas Podelski Special section on alternative approaches to symbolic verification Pages: 250 - 270
Bisimulation verification using the up to techniques Daniel Hirschkoff Special section on alternative approaches to symbolic verification Pages: 271 - 285
A light-weight framework for hardware verification Christoph KernTarik Ono-TesfayeMark R. Greenstreet Special section on alternative approaches to symbolic verification Pages: 286 - 313
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation Hubert GaravelCésar VihoMassimo Zendri Special section on alternative approaches to symbolic verification Pages: 314 - 331
A case study in class library verification: Java’s vector class Marieke HuismanBart JacobsJoachim van den Berg Regular contribution Pages: 332 - 352
Formal design and analysis of a gear controller Magnus LindahlPaul PetterssonWang Yi Regular contribution Pages: 353 - 368