scientific article; zbMATH DE number 2102725
From MaRDI portal
Publication:4818812
zbMath1046.68608MaRDI QIDQ4818812
Hassen Saidi, Natarajan Shankar
Publication date: 24 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Abstraction and Abstraction Refinement ⋮ Combining Model Checking and Deduction ⋮ Algebraic simulations ⋮ Verifying data refinements using a model checker ⋮ Towards the hierarchical verification of reactive systems ⋮ Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols ⋮ Equational abstractions ⋮ 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. ⋮ Narrowing and Rewriting Logic: from Foundations to Applications ⋮ Verifying time partitioning in the DEOS scheduling kernel
This page was built for publication:
