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.
2016
2016
FPGA Ethernet IP cores are widely used in the all Aerospace and defense communication systems. If the IP core fails to function… 
2013
2013
This document describes an improved method of formal verification of complex analog/mixed-signal (AMS) circuits. Currently, in… 
2012
2012
...................................................................................................................... iii… 
2007
2007
Multiway Decision Graphs (MDGs) represent and manipulate a subset of first-order logic formulae suitable for model checking of… 
2007
2007
This paper presents oXPDL, a process interchange ontology based on the standardised XML Process Definition Language (XPDL). XPDL… 
2006
2006
  • G. Economakos
  • 2006
  • Corpus ID: 23057138
Behavioral synthesis of digital circuits offers an effective way to deal with the increasing complexity of hardware design. Even… 
2006
2006
Photostimulated luminescence (PSL), thermoluminescence(TL) and electron spin resonance (ESR) analyses were conducted to detect… 
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…