scientific article
From MaRDI portal
Publication:2754105
zbMath0974.68524MaRDI QIDQ2754105
Kedar S. Namjoshi, Robert Kurshan
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Unnamed Item, Combining Model Checking and Testing, Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data, Test generation from event system abstractions to cover their states and transitions, Automatic verification of reduction techniques in higher order logic, Association of Under-Approximation Techniques for Generating Tests from Models, Meanings of Model Checking, 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., Specification and verification of concurrent programs through refinements
Uses Software
