The following pages link to (Q2769580):
Displayed 3 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 (Q2842588) (← links)
- Refinement of Trace Abstraction (Q3392921) (← links)
- Compositional Verification for Component-Based Systems and Application (Q3540064) (← links)