Research Catalog

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS "95, Aarhus, Denmark, May 19-20, 1995 : selected papers

Title
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS "95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma [and others], eds.
Publication
Berlin ; New York : Springer-Verlag, 1995.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.S88 T66 1995Off-site

Details

Additional Authors
Brinksma, Ed.
Description
289 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 1019
Uniform Title
Lecture notes in computer science ; 1019.
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
Contents
  • Combining model checking and deduction for I/O-automata / O. Muller and T. Nipkow -- A constraint oriented proof methodology based on modal transition systems / K. G. Larsen, B. Steffen and C. Weise -- A user guide to HyTech / T. H. Henzinger, P.-H. Ho and H. Wong-Toi -- Modal [mu]-calculus, model checking and Gau[beta] elimination / A. Mader -- MONA: Monadic second-order logic in practice / J. G. Henriksen, J. Jensen, M. Jorgensen, N. Klarlund, R. Paige, T. Rauhe and A. Sandholm -- Efficient simplification of bisimulation formulas / U. H. Engberg and K. S. Larsen -- Hierarchical compression for model-checking CSP or How to check 10[superscript 20] dining philosophers for deadlock / A. W. Roscoe, P. H. B. Gardiner, M. H. Goldsmith, J. R. Hulance, D. M. Jackson and J. B. Scattergood -- A front-end generator for verification tools / R. Cleaveland, E. Madelaine and S. Sims -- Analytic and locally approximate solutions to properties of probabilistic processes / C. Tofts --
  • Model checking of non-finite state processes by finite approximations / N. De Francesco, A. Fantechi, S. Gnesi and P. Inverardi -- On automatic and interactive design of communicating systems / J. Bohn and S. Rossig -- Layers as knowledge transitions in the design of distributed systems / W. Janssen -- Parallelism for free: bitvector analyses [actual symbol not reproducible] no state explosion! / J. Knoop, B. Steffen and J. Vollmer.
ISBN
3540606300 (softcover : alk. paper)
LCCN
95047444
OCLC
ocm33439667
Owning Institutions
Columbia University Libraries