Effective methods of program abstraction are necessary for the successful application of model checking in practice.
This paper provides a brief description, including a bibliography, of the SPIN2002 tutorial on abstraction in model checking of software.
We present a framework for automatic program abstraction that can be used for model checking any formula of the modal mu-calculus.
Loudness, Pitch and the Timbre of Musical Tones and Their Relation to the Intensity, the Frequency and the Overtone Structure.2 HARVEY FLETCHER.
The Synthesis and Characterization of Some Oxide Fluorides of Rhenium and Osmium. W. A. Sunder and F. A. Stevie, J. Fluorine Chem., 6 (November 1975), . 449.
Physical Review, II, Vol. XXIII, p. 265, 1924.
J. O. S., R. S. I., Vol. 9, pp. 487-494, 1924. J. O. S., R. S. I., Vol. 9, pp. 479-485, 1924.
Telegraph systems using frequencies above the voice range have been in use for a number of years on open-wire lines.
Submarine Insulation with Special Reference to the Use of Rubber* and A. R . KEMP .
The Action of Fluxes in Soft Soldering and a New Class of Fluxes for Soft Soldering.3 R. S. DEAN and R. V. WILSON. This is a report of basic studies of soldering fluxes undertaken by the authors.
