Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,810,736 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.
2013
2013
Improved model generation and property specification for analog/mixed-signal circuits
Dhanashree Kulkarni
2013
Corpus ID: 113057894
This document describes an improved method of formal verification of complex analog/mixed-signal (AMS) circuits. Currently, in…
Expand
2012
2012
VALIDACION INTERNA DEL METODO ANALITICO PARA LA DETERMINACION DE VISCOSIDAD CINEMATICA EN PETROLEO CRUDO PARA EL LABORATORIO PSL PROANALISIS LTDA
Yesy Paola Avila Bayona
,
Ingeniero Químico
2012
Corpus ID: 169825273
2009
2009
Intensity of Immunosuppression Transplantation in Patients with Systemic Sclerosis : Clinical Benefits and Immunological Reconstitution after Autologous Hematopoietic Stem Cell
T. Yasuda
,
Y. Amasaki
,
+11 authors
M. Kondo
2009
Corpus ID: 42666208
Objective. To analyze the relationship between clinical benefits and immunological changes in patients with systemic sclerosis…
Expand
2007
2007
High level reduction technique for multiway decision graphs based model checking
G. A. Sammane
,
Sa'ed Abed
,
O. Mohamed
2007
Corpus ID: 14183708
Multiway Decision Graphs (MDGs) represent and manipulate a subset of first-order logic formulae suitable for model checking of…
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
oXPDL : a Process Model Exchange Ontology
A. Haller
,
Mateusz Marmolowski
,
E. Oren
,
Walid Gaaloul
2007
Corpus ID: 17463874
This paper presents oXPDL, a process interchange ontology based on the standardised XML Process Definition Language (XPDL). XPDL…
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
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
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
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