Skip to main content
  • Book
  • © 2007

Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4700)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (25 chapters)

  1. Front Matter

  2. A Denotational Semantics for Handel-C

    • Andrew Butterfield
    Pages 45-66
  3. Generating Polynomial Invariants with DISCOVERER and QEPCAD

    • Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan
    Pages 67-82
  4. Harnessing rCOS for Tool Support —The CoCoME Experience

    • Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang
    Pages 83-114
  5. Automating Verification of Cooperation, Control, and Design in Traffic Applications

    • Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer et al.
    Pages 115-169
  6. Balancing Insight and Effort: The Industrial Uptake of Formal Methods

    • John Fitzgerald, Peter Gorm Larsen
    Pages 237-254
  7. Proving Theorems About JML Classes

    • Leo Freitas, Jim Woodcock
    Pages 255-279
  8. Specification for Testing

    • Chris George, Padmanabhan Krishnan, P. A. P. Salas, J. W. Sanders
    Pages 280-299
  9. Semantics and Verification of a Language for Modelling Hardware Architectures

    • Michael R. Hansen, Jan Madsen, Aske Wiid Brekling
    Pages 300-319
  10. Compensable Programs

    • He Jifeng
    Pages 349-363
  11. Deriving Specifications for Systems That Are Connected to the Physical World

    • Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
    Pages 364-390
  12. Design Verification Patterns

    • John Knudsen, Anders P. Ravn, Arne Skou
    Pages 399-413

Keywords

  • Algorithms
  • algorithm
  • design
  • formal method
  • logic
  • modeling
  • organization
  • real-time
  • software engineering
  • verification

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions