zbMATH — the first resource for mathematics

Integrated formal methods. 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 – December 2, 2005. Proceedings. (English) Zbl 1122.68011
Lecture Notes in Computer Science 3771. Berlin: Springer (ISBN 978-3-540-30492-0/pbk). xi, 407 p. (2005).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1048.68002).
Indexed articles:
Bensalem, Saddek; Peled, Doron; Qu, Hongyang; Tripakis, Stavros, Generating path conditions for timed systems, 5-19 [Zbl 1137.68351]
Godefroid, Patrice; Klarlund, Nils, Software model checking: Searching for computations in the abstract or the concrete, 20-32 [Zbl 1137.68435]
Malik, Robi; Roop, Partha S., Adaptive techniques for specification matching in embedded systems: A comparative study, 33-52 [Zbl 1137.68437]
Chaki, Sagar; Clarke, Edmund; Grumberg, Orna; Ouaknine, Joël; Sharygina, Natasha; Touili, Tayssir; Veith, Helmut, State/event software verification for branching-time specifications, 53-69 [Zbl 1137.68432]
Schneider, Steve; Treharne, Helen; Evans, Neil, Chunks: Component verification in CSP\(\parallel \)B, 89-108 [Zbl 1137.68439]
Salaün, Gwen; Serwe, Wendelin, Translating hardware process algebras into standard process algebras: Illustration with CHP and LOTOS, 287-306 [Zbl 1137.68454]
Barradas, Héctor Ruíz; Bert, Didier, A fixpoint semantics of event systems with and without fairness assumptions, 327-346 [Zbl 1137.68430]
Sengupta, Bikram; Cleaveland, Rance, An integrated framework for scenarios and state machines, 366-385 [Zbl 1137.68440]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: DOI