Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

Author(s)

• SPIN
• Federated Logic Conference
• SPIN
• World Congress on Formal Methods in the Development of Computing Systems
• Dams, Dennis

Bibliographic Information

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

Dennis Dams ... [et al.], (eds.)

（Lecture notes in computer science, 1680）

Springer, c1999

Note

Includes bibliographical references and index

"The 5th International SPIN Workshop on Theoretical Aspects of Model Checking (5th SPIN'99) was held on July 5, 1999 as a satellite workshop of FLoC'99, while the 6th International SPIN Workshop on Practical Aspects of Model Checking (6th SPIN'99) was held as a user group meeting within FM'99 on September 21 and 24, 1999" - Preface, p. [v]

Details

• NCID: BA43719764
• ISBN:
  • 3540664998
• LCCN: 99049725
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: x, 276 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.76.V47
  • DC21 : 005.14
• Subject Headings:
  • LCSH : Computer software -- Verification -- Congresses
  • LCSH : SPIN (Computer file) -- Congresses
  • BLSH : SPIN (...Computer file...)
  • LCSH : Automatic theorem proving
  • LCSH : Verification (Logic)
• Parent Bibliography ID:
  • BA00009279