Skip to main content
main-content
Top

Journal

International Journal on Software Tools for Technology Transfer

International Journal on Software Tools for Technology Transfer 3/1999

Issue 3/1999

Table of Contents ( 9 Articles )

01-11-1999 | Special section on model checking | Issue 3/1999

Pragmatics of model checking: an STTT special section

Rance Cleaveland

01-11-1999 | The opinion corner | Issue 3/1999

A workshop on formal methods education: held at Melbourne Florida in March 1998[5]

an aggregation of opinions
Steven D. Johnson

01-11-1999 | Special section on model checking | Issue 3/1999

Partial model checking of modal equations: A survey

Henrik Reif Andersen, Jorn Lind-Nielsen

01-11-1999 | Special section on model checking | Issue 3/1999

Local model checking and protocol analysis

Xiaoqun Du, Scott A. Smolka, Rance Cleaveland

01-11-1999 | Special section on model checking | Issue 3/1999

A minimized automaton representation of reachable states

Gerard J. Holzmann, Anuj Puri

01-11-1999 | Special section on model checking | Issue 3/1999

Analysis and verification of real-time systems using quantitative symbolic algorithms

Sérgio Vale Aguiar Campos, Edmund Clarke

01-11-1999 | Special section on model checking | Issue 3/1999

State space reduction using partial order techniques

E.M. Clarke, O. Grumberg, M. Minea, D. Peled

01-11-1999 | Special section on model checking | Issue 3/1999

Model checking: a hardware design perspective

Carl Pixley, Vigyan Singhal

01-11-1999 | Regular contribution | Issue 3/1999

Programming in FISh

C. Barry Jay

Current Publications

Premium Partner

    Image Credits