A Model Checking Framework for Layered Command and Control Software

No abstract is available for this paper.

• Publication year

  2001

• Venue

  Unknown venue

• Publication date

  Unknown publication date

• Fields of study

  Computer Science, Engineering

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Symbolic Model Checking

  2016cited by this paper
• Model checking

  2009cited by this paper
• DrScheme: a programming environment for Scheme

  2002cited by this paper
• Component-Based Software Engineering: Putting the Pieces Together

  2001cited by this paper
• A component-based approach to building formal analysis tools

  2001cited by this paper
• Achieving extensibility through product-lines and domain-specific languages: a case study

  2000cited by this paper
• Efficient Reachability Analysis of Hierarchical Reactive Machines

  2000cited by this paper
• Bandera: extracting finite-state models from Java source code

  2000cited by this paper
• Modular Translation of Statecharts to SMV

  2000cited by this paper
• Programming languages for reusable software components

  2000cited by this paper
• Aspect-Oriented Programming

  1999cited by this paper
• Flow Analysis for Verifying Specifications of Concurrent and Distributed Software

  1999cited by this paper
• Assume-Guarantee Model Checking of Software: A Comparative Case Study

  1999cited by this paper
• Implementing Extensible Theorem Provers

  1999cited by this paper
• Adaptive plug-and-play components for evolutionary software development

  1998cited by this paper
• Modular Model Checking of Software

  1998cited by this paper
• Modular object-oriented programming with units and mixins

  1998cited by this paper
• Classes and mixins

  1998cited by this paper
• Model checking of hierarchical state machines

  1998cited by this paper
• Implementing Layered Designs with Mixin Layers

  1998cited by this paper
• Building adaptive systems using ensemble

  1998cited by this paper
• Deductive Verification of Modular Systems

  1997cited by this paper
• Composition Validation and Subjectivity in GenVoca Generators

  1997cited by this paper
• Modular Model Checking

  1997cited by this paper
• Component software

  1997cited by this paper
• VIS: A System for Verification and Synthesis

  1996cited by this paper
• Aspect-oriented programming

  1996cited by this paper
• Using role components in implement collaboration-based designs

  1996cited by this paper
• Signatures for a network protocol stack: a systems application of Standard ML

  1994cited by this paper
• The design and implementation of hierarchical software systems with reusable components

  1992cited by this paper
• The programming language jigsaw: mixins, modularity and multiple inheritance

  1992cited by this paper
• Model checking and modular verification

  1991cited by this paper
• Design and validation of computer protocols

  1991cited by this paper
• Automatic verification of finite-state concurrent systems using temporal logic specifications

  1986cited by this paper
• Common Lisp the Language

  1984cited by this paper

• Modelling and Verifying of e-Commerce Systems

  2006cites this paper
• Validation of business process models

  2003influential citation
• Evolving a simulation model product line software architecture from heterogeneous model representations

  2003cites this paper
• Correctness of Model-based Software Composition (CMC)

  2003cites this paper
• Language and compiler support for mixin programming

  2002cites this paper