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.
2013
2013
This document describes an improved method of formal verification of complex analog/mixed-signal (AMS) circuits. Currently, in… 
2009
2009
Objective. To analyze the relationship between clinical benefits and immunological changes in patients with systemic sclerosis… 
2007
2007
Multiway Decision Graphs (MDGs) represent and manipulate a subset of first-order logic formulae suitable for model checking of… 
2007
2007
In recent years more and more system designers discovered the importance of assertion based verification (ABV) in coverage driven… 
2007
2007
This paper presents oXPDL, a process interchange ontology based on the standardised XML Process Definition Language (XPDL). XPDL… 
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… 
2005
2005
Historically,the process of specification has adopted a natural language to describe system design requirements.This form of… 
1997
1997
Presents a language for the specification of high-level properties of real-time systems. The language is based on a temporal…