Isbn: 9783540551799 - computer aided verification: 3rd international workshop, cav '91, aalborg, denmark, july 1-4, 1991. proceedings (lecture notes in computer science, 575, band 575) (3 Ergebnisse)

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the thirdInternational Workshop on Computer Aided Verification, CAV'91, held in Aalborg, Denmark, July 1-4, 1991. The objectiveof this series of workshops is to bring together researchersand practitioners interested in the development and use ofmethods, tools and theories for automatic verification of(finite) state systems. The workshop provides a uniqueopportunity for comparing the numerous verification methodsand associated verification tools, and the extent to whichthey may be utilized in application design. The emphasis isnot only on new research results but also on the applicationof existing results to real verification problems.The papers in the volume areorganized into sections onequivalence checking, model checking, applications, toolsfor process algebras, the state explosion problem, symbolicmodel checking, verification and transformation techniques,higher order logic, partial order approaches, hardwareverification, timed specification and verification, andautomata.…