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

Related topics

Related topics

17 relations
Electronic system-level design and verificationFormal verificationHardware description languageHardware verification language
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
PyBioNetFit and the Biological Property Specification Language.
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
Optimizing Extreme Learning Machine via Generalized Hebbian Learning and Intrinsic Plasticity Learning
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
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques
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
Assertion support in high-level synthesis design flow
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
Automated design process modelling and analysis using immersive virtual reality
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
Automated Verification of Multi-Agent Programs
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
Property specification language reference manual
  • 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
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… Expand
Is this relevant?
2000
2000
Specification of performance problems in MPI programs with ASL
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
A graphical property specification language
  • 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?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE