Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
We consider the problem of automatically finding safe and robust values of timing parameters of cardiac pacemaker models so that… 
2009
2009
Although a significant body of research in the area of formal verification and model checking tools of software and hardware… 
2007
2007
In recent years more and more system designers discovered the importance of assertion based verification (ABV) in coverage driven… 
2007
2007
Low aperiodic-autocorrelation peak sidelobe levels (PSLs) relate to enhanced range resolution for binary-phase-coded radar and… 
2006
2006
Photostimulated luminescence (PSL), thermoluminescence(TL) and electron spin resonance (ESR) analyses were conducted to detect… 
2005
2005
Historically,the process of specification has adopted a natural language to describe system design requirements.This form of… 
2005
2005
Vorliegende Diplomarbeit wurde von mir selbstständig verfasst. Es wurden keine anderen als die angegebenen Quellen und… 
2005
2005
The paper presents a declarative language for workflow property specification. The language has been developed to help analysts… 
1997
1997
Presents a language for the specification of high-level properties of real-time systems. The language is based on a temporal…