Property Specification Language

Known as: PSL 
Property Specification Language (PSL) is a temporal logic extending Linear temporal logic with a range of operators for both ease of expression and… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
We introduce a formal specification language LOCKS, that allow security practitioners to express as well as compose security… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2017
2017
The use of robots is gaining considerable traction in several domains, since they are capable of assisting and replacing humans… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2011
Review
2011
This is a review of A Practical Introduction to PSL (Springer, 2006) by Cindy Eisner and Dana Fisman. It is an excellent manual… (More)
Is this relevant?
2007
2007
In recent years more and more system designers discovered the importance of assertion based verification (ABV) in coverage driven… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
Although a significant body of research in the area of formal verification and model checking tools of software and hardware… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2005
2005
Vorliegende Diplomarbeit wurde von mir selbstständig verfasst. Es wurden keine anderen als die angegebenen Quellen und… (More)
  • figure 1.1
  • figure 4.2
  • figure 4.3
  • figure 4.4
  • figure 4.6
Is this relevant?
2005
2005
The paper presents a declarative language for workflow property specification. The language has been developed to help analysts… (More)
  • figure 1
  • figure 2
Is this relevant?
2003
2003
The Accellera Property Specification Language (PSL) is designed for the formal specification of hardware. The Reference Manual… (More)
Is this relevant?
2003
2003
Assertion-based verification—that is, user specified properties and automatic property extraction combined with simulation and… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
In this paper we describe the ForSpec Temporal Logic (FTL), the new temporal property-specification logic of ForSpec, Intel’s new… (More)
Is this relevant?