Journal of Applied Mathematics / 2013 / Article / Tab 1

Research Article

A Latent Implementation Error Detection Method for Software Validation

Table 1

The analogy set specifications for five property patterns.

Pattern name Property specification Analogy set specification Explanations

Absence LTL:   
CTL:
LTL:   
CTL:
OS: action never occurs
AS: action occurs definitely

Existence LTL:   
CTL:
LTL:   
CTL:
OS: action occurs definitely
AS: action never occurs

Universality LTL:   
CTL:
LTL:   
CTL:
OS: action occurs all through
AS: action does not occur definitely

Precedence LTL:   
CTL:
LTL:   
  
CTL:   
OS: the occurrence of action is enabled by the occurrence of action   
AS: action occurs without the preoccurrence of action or action occurs without the postoccurrence of action
Response LTL:   
CTL:
LTL:   
  
CTL:   
OS: the occurrence of action must be followed by the occurrence of action   
AS: action occurs without the postoccurrence of action or action occurs without the preoccurrence of action

We are committed to sharing findings related to COVID-19 as quickly and safely as possible. Any author submitting a COVID-19 paper should notify us at help@hindawi.com to ensure their research is fast-tracked and made available on a preprint server as soon as possible. We will be providing unlimited waivers of publication charges for accepted articles related to COVID-19. Sign up here as a reviewer to help fast-track new submissions.