Publication:2769580
From MaRDI portal
zbMath0978.68543MaRDI QIDQ2769580
No author found.
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310098
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Predicate Abstraction for Dense Real-Time Systems1 1This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096 and by NASA Langley Research Center under contract B09060051 and Cooperative Agreement NCC-1-399 with Honeywell Minneapolis. Most of this research has been conducted while the first author was visiting SRI International, July/August 2001., Refinement of Trace Abstraction, Compositional Verification for Component-Based Systems and Application