Skip to main content
Theoretical Computer Science

Return to Answer

fixed link
Source Link
Radu GRIGore
Radu GRIGore
  • 4.8k
  • 34
  • 69

CTL properties can be checked in linear time (see Clarke et alClarke et al).

Long time ago I used to work in a company where many colleagues used Rulebase to verify integrated circuit designs. The property language is PSL, it is standardized by IEEE, and is a kind of CTL on steroids.

CTL properties can be checked in linear time (see Clarke et al).

Long time ago I used to work in a company where many colleagues used Rulebase to verify integrated circuit designs. The property language is PSL, it is standardized by IEEE, and is a kind of CTL on steroids.

CTL properties can be checked in linear time (see Clarke et al).

Long time ago I used to work in a company where many colleagues used Rulebase to verify integrated circuit designs. The property language is PSL, it is standardized by IEEE, and is a kind of CTL on steroids.

Source Link
Radu GRIGore
Radu GRIGore
  • 4.8k
  • 34
  • 69

CTL properties can be checked in linear time (see Clarke et al).

Long time ago I used to work in a company where many colleagues used Rulebase to verify integrated circuit designs. The property language is PSL, it is standardized by IEEE, and is a kind of CTL on steroids.