Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
In systems biology modeling, important steps include model parameterization, uncertainty quantification, and evaluation of… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
2018
2018
Traditional extreme learning machine (ELM) has random weights between input layer and hidden layer, this kind of random feature… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
2015
2015
We consider the problem of automatically finding safe and robust values of timing parameters of cardiac pacemaker models so that… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
The increasing complexity of System-On-Chip applications increases the challenge of the design task, and specifically the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
The capture of engineering design processes and associated knowledge has traditionally been extremely difficult due to the high… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2008
Highly Cited
2008
In this paper, we show that the flexible model-checking of multi-agent systems, implemented using agent-oriented programming… Expand
  • figure 1
  • figure 2
  • table I
Is this relevant?
2004
2004
  • Albin
  • 2004
  • Corpus ID: 59662182
The preparation and use of bis( mu -diphenylphosphido)tris(triethylphosphine)dinickel and tris(triethylphosphine… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
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… Expand
Is this relevant?
2000
2000
Performance analysis is an important step in tuning performance critical applications. It is a cyclic process of measuring and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1997
1997
  • I. 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
  • figure 1
  • figure 2
  • figure 3
Is this relevant?