Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,627,833 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Electronic system-level design and verification
Formal verification
Hardware description language
Hardware verification language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques
M. Kwiatkowska
,
A. Mereacre
,
Nicola Paoletti
,
A. Patané
International Workshop on Hybrid Systems Biology
2015
Corpus ID: 8671541
We consider the problem of automatically finding safe and robust values of timing parameters of cardiac pacemaker models so that…
Expand
Highly Cited
2009
Highly Cited
2009
Automated design process modelling and analysis using immersive virtual reality
R. Sung
,
J. Ritchie
,
G. Robinson
,
P. Day
,
J. Corney
,
T. Lim
Comput. Aided Des.
2009
Corpus ID: 15096000
2009
2009
Use Case Maps as a property specification language
Jameleddine Hassine
,
J. Rilling
,
R. Dssouli
Journal of Software and Systems Modeling
2009
Corpus ID: 18604145
Although a significant body of research in the area of formal verification and model checking tools of software and hardware…
Expand
2007
2007
Behavioral synthesis of property specification language (PSL) assertions
Harald Obereder
,
M. Pfaff
RSP
2007
Corpus ID: 28963387
In recent years more and more system designers discovered the importance of assertion based verification (ABV) in coverage driven…
Expand
2007
2007
The peak sidelobe distribution for binary codes
M. Ferrara
,
M. Kupferschmid
,
G. Coxson
International Waveform Diversity and Design…
2007
Corpus ID: 14499066
Low aperiodic-autocorrelation peak sidelobe levels (PSLs) relate to enhanced range resolution for binary-phase-coded radar and…
Expand
2006
2006
Detection Characteristics of Irradiated Aloe vera by the Analysis of PSL, TL and ESR
Kim Byeong-Keun
,
Lim Sang-Yong
,
Song Hyun-Pa
,
Yun Hye-Jeong
,
Kwon Joong-Ho
,
Kim Dong-ho
2006
Corpus ID: 92727531
Photostimulated luminescence (PSL), thermoluminescence(TL) and electron spin resonance (ESR) analyses were conducted to detect…
Expand
2005
2005
Property Specification Language of Hardware Circuit
Liu Youyao
2005
Corpus ID: 63896405
Historically,the process of specification has adopted a natural language to describe system design requirements.This form of…
Expand
2005
2005
A Hierarchy for Accellera's Property Specification Language
T. May
2005
Corpus ID: 267804
Vorliegende Diplomarbeit wurde von mir selbstständig verfasst. Es wurden keine anderen als die angegebenen Quellen und…
Expand
2005
2005
A Property Specification Language for Workflow Diagnostics
Ella E. Roubtsova
International Conference on Enterprise…
2005
Corpus ID: 4681156
The paper presents a declarative language for workflow property specification. The language has been developed to help analysts…
Expand
1997
1997
A graphical property specification language
Insup Lee
,
O. Sokolsky
Proceedings High-Assurance Engineering Workshop
1997
Corpus ID: 58506328
Presents a language for the specification of high-level properties of real-time systems. The language is based on a temporal…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE