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

Related topics

Related topics

17 relations
Electronic system-level design and verificationFormal verificationHardware description languageHardware verification language
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
LOCKS: a property specification language for security goals
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
A Generated Property Specification Language for Resilient Multirobot Missions
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
Learning and Practice of the Property Specification Language
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
Behavioral synthesis of property specification language (PSL) assertions
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
Use Case Maps as a property specification language
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
A Hierarchy for Accellera ’ s Property Specification Language
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
A Property Specification Language for Workflow Diagnostics
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
Executing the Formal Semantics of the Accellera Property Specification Language by Mechanised Theorem Proving
The Accellera Property Specification Language (PSL) is designed for the formal specification of hardware. The Reference Manual… (More)
Is this relevant?
2003
2003
Property Specification : The key to an Assertion-Based Verification Platform
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
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
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?