Search references for PROPERTY SPECIFICATION-LANGUAGE. Phrases containing PROPERTY SPECIFICATION-LANGUAGE
See searches and references containing PROPERTY SPECIFICATION-LANGUAGE!PROPERTY SPECIFICATION-LANGUAGE
Temporal logic
Property Specification Language (PSL) is a temporal logic extending linear temporal logic with a range of operators for both ease of expression and enhancement
Property Specification Language
Property_Specification_Language
Formal language used in computer science
A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe
Specification_language
Specialized computer language used to describe electronic circuits
set Property Specification Language – Temporal logic Rosetta-lang – System-level specification language Specification language – Formal language used
Hardware_description_language
Documentation defining a programming language
computer programming, a programming language specification (or standard or definition) is a specification language or documentation[dubious – discuss]
Programming language specification
Programming_language_specification
Programming language used to verify the designs of electronic circuits written in a HDL
constructs into a single standard. e SystemC SystemVerilog Property Specification Language Python with cocotb Scala with ChiselTest Iman, Sasan; Joshi
Hardware verification language
Hardware_verification_language
Proving or disproving the correctness of certain intended algorithms
certain formal specification or property, using formal methods of mathematics. Formal verification is a key incentive for formal specification of systems
Formal_verification
Code to identify human languages
adopted the concept of language ranges from HTTP/1.1 to help with matching of language tags. The next revision of the specification came in September 2006
IETF_language_tag
Declarative language
now part of the UML standard. Initially, OCL was merely a formal specification language extension for UML. OCL may now be used with any Meta-Object Facility
Object_Constraint_Language
Aspect of computer science
its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that
Formal_specification
Topics referred to by the same term
Loss Process Specification Language Portable Standard Lisp Probabilistic soft logic Profile Scripting Language Property Specification Language Public Suffix
PSL
Israeli computer scientist
learning theory including induction of regular languages, on temporal logic and the Property Specification Language, and on program synthesis. She is an associate
Dana_Fisman
Query language for property graphs
GQL (Graph Query Language) is a standardized query language for property graphs first described in ISO/IEC 39075, released in April 2024 by ISO/IEC. The
Graph_Query_Language
Hardware description language
Procedural Interface) (interface to C/C++ languages) and a subset of PSL (Property Specification Language). These changes should improve quality of synthesizable
VHDL
suitability for model-checking PCTL extension is widely used as a property specification language for probabilistic model checkers. A possible syntax of PCTL
Probabilistic_CTL
Programming language
keep the language specification simple enough to hold in a programmer's head, in part by omitting features that are common in similar languages. 25 reserved
Go_(programming_language)
Hardware description language
(verification language) – Hardware verification language Property Specification Language – Temporal logic Chisel – Open-source hardware description language (HDL)
Verilog
Israeli electronic design automation engineer
formal specification language, ForSpec, later donated by Intel to Accellera/IEEE. ForSpec influenced the IEEE 1850-Property Specification Language standard
Limor_Fix
Programming language
the specification of components in a form that is suitable for both static and dynamic verification. SPARK is also designed to eliminate all language constructs
SPARK_(programming_language)
Hardware description and hardware verification language
its own assertion specification language, similar to Property Specification Language. The subset of SystemVerilog language constructs that serves assertion
SystemVerilog
from the specification language of the Caduceus tool for deductive verification of behavioral properties of C programs. The specification language of Caduceus
ANSI/ISO C Specification Language
ANSI/ISO_C_Specification_Language
Language to express rules and logic with semantic web
DL or OWL Lite with a subset of the Rule Markup Language (itself a subset of Datalog). The specification was submitted in May 2004 to the W3C by the National
Semantic_Web_Rule_Language
Formal method for the development of computer-based systems
group of techniques and tools based on a formal specification language—the VDM Specification Language (VDM-SL). It has an extended form, VDM++, which
Vienna_Development_Method
File extension
for .properties files and specification documents are not always clear, most likely due to the simplicity of the format. Each line in a .properties file
.properties
Markup language for documents
mid-1993 publication of the first proposal for an HTML specification, the "Hypertext Markup Language (HTML)" Internet Draft by Berners-Lee and Dan Connolly
HTML
Style sheet language
one declaration of a property match a particular element. This cascading priority scheme is predictable. The CSS specifications are maintained by the
CSS
Computer science field
model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness)
Model_checking
Formal specification language
TLA+ is a formal specification language developed by Leslie Lamport. It is used for designing, modelling, documentation, and verification of programs,
TLA+
System for representing and reasoning about time
Signal temporal logic (STL) Timestamp temporal logic (TTL) Property specification language (PSL) CTL*, which generalizes LTL and CTL Hennessy–Milner logic
Temporal_logic
Computer programming language
web pages. The specification writers and expert groups of the Java EE web-tier technologies have worked on a unified expression language which was first
Jakarta_Expression_Language
Type of document
requirements specification) (ISO/IEC/IEEE 24765-2010). The documentation typically describes what is needed by the system user as well as requested properties of
Functional_specification
Formal language for describing data models
1999. The RDF 1.0 specification was published in 2004, and the RDF 1.1 specification in 2014. SPARQL is a standard query language for RDF graphs. RDF
Resource Description Framework
Resource_Description_Framework
Specification for metadata in web pages
Microdata is a part of the WHATWG HTML specification that defines how to include metadata within existing web page content. Search engines, web crawlers
Microdata_(HTML)
extends PCTL with reward-bounded properties. PSL: Property specification language SVA: SystemVerilog standards assertion language subset, standardized as IEEE
List_of_model_checking_tools
Standards association in electronic design
IEEE 1364 or IEC 61691-4 VHDL or IEEE 1076 or IEC 61691-1-1 Property Specification Language (PSL) or IEEE 1850 or IEC 62531 SystemC or IEEE 1666 SystemC
Accellera
File format standard for electronic business cards
of the specification. vCards can be embedded in web pages. RDFa with the vCard Ontology can be used in HTML and various XML-family languages, e.g. SVG
VCard
Versions of a JavaScript standard
Language Specification". Ecma International. June 2024. "ECMAScript 2025 Language Specification". Ecma International. June 2025. "ECMAScript 2026 Language Specification"
ECMAScript_version_history
Concept in axiomatic set theory
many popular versions of axiomatic set theory, the axiom schema of specification, also known as the axiom schema of separation (Aussonderungsaxiom),
Axiom_schema_of_specification
General-purpose programming language
C# 2.0 specification document only contains the new 2.0 features. For older features, use the 1.2 specification above. C# Language Specification (PDF)
C Sharp (programming language)
C_Sharp_(programming_language)
High-level programming language
standard specification that all browser vendors could conform to. This led to the official release of the first ECMAScript language specification in June
JavaScript
Requirements IEC 62531 Property Specification Language (PSL) IEC TS 62556 Ultrasonics – Field characterization – Specification and measurement of field
List_of_IEC_standards
Software design modeling notation
defined by the OMG UML specification. The metamodel defines the elements in an object-oriented model such as classes and properties. It is essentially the
Unified_Modeling_Language
XML grammar for geographical features
19100-series and including both the spatial and nonspatial properties of geographic features. This specification defines the XML Schema syntax, mechanisms, and conventions
Geography_Markup_Language
Mathematical program specifications
B-Method, the specification languages used in automated theorem proving, RAISE, and the Z notation. In functional programming, property-based testing
Formal_methods
Analysis of computer programs without executing them
methods that mathematically prove properties about a given program (e.g., its behaviour matches that of its specification). Software metrics and reverse
Static_program_analysis
Verifying task for ESL designs at high abstraction level
Accellera Electronic system-level (ESL) Formal verification Property Specification Language (PSL) SystemC SystemVerilog Transaction-level modeling (TLM)
High-level_verification
Metadata standard in digital media
systems handling image and sound files recorded by digital cameras. The specification uses the following existing encoding formats with the addition of specific
Exif
Family of knowledge representation languages
Though RDFS provides some support for ontology specification, the need for a more expressive ontology language had become clear.[self-published source] As
Web_Ontology_Language
Method of software development
particular, there is good tool support for this. The same language is used in specification, design, and programming. Mechanisms include encapsulation
B-Method
Specification language for Java programs
The Java Modeling Language (JML) is a specification language for Java programs, using Hoare style pre- and postconditions and invariants, that follows
Java_Modeling_Language
Topics referred to by the same term
object Grammatical modifier, in natural languages Attribute (computing), a specification that defines a property of an object, element, or file Attribute
Attribute
Update to MIDI standard for electronic music
supports MIDI 2.0. MIDI 2.0 includes MIDI Capability Inquiry specification for property exchange and profiles, and the new Universal MIDI Packet format
MIDI_2.0
Data-interchange format
on May 13, 2012. Retrieved May 16, 2011. "ECMA-262: ECMAScript Language Specification" (5th ed.). December 2009. Archived (PDF) from the original on April
JSON
1984–1996 technology consortium
system specifications; it added Window Manager, ADA Language and more. Issue 4 (XPG4) was published in July 1992. The Single UNIX Specification was based
X/Open
model can be considered as the first formal specification by a de jure standards organization of the property graph model, which has emerged since the early
NGSI-LD
Schema for knowledge representation
classes described by the RDF and RDFS specifications are: rdfs:Literal literal values such as strings and integers. Property values such as textual strings are
RDF_Schema
Specification of a conceptualization
proprietary and standards-based: Common Algebraic Specification Language is a general logic-based specification language developed within the IFIP working group
Ontology (information science)
Ontology_(information_science)
Programming language
compiled language that compiles to other programming languages, such as C#, Java, JavaScript, Go, and Python. It supports formal specification through
Dafny
Modeling language for describing general text and binary data
Grid Forum) in 2003 to create a specification for such a language. A decision was made early on to base the language on a subset of W3C XML Schema, using
Data Format Description Language
Data_Format_Description_Language
Reverse-engineering without infringing copyright
write a specification. This specification is then reviewed by a lawyer to ensure that no copyrighted material is included. The specification is then implemented
Clean-room_design
XML document element
Web Consortium defines not only the specifications for XML itself, but also the DOM, which is a platform- and language-independent standard object model
Root_element
Notation expressing information under a rule set
worsens the situation. Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of
Modeling_language
Representation of a computer program
provides a formal code property graph specification applicable to multiple programming languages. The project provides code property graph generators for
Code_property_graph
Interaction diagram from the SDL family
recommending MSC (Message Sequence Chart) is to provide a trace language for the specification and description of the communication behaviour of system components
Message_sequence_chart
Checking software against expectations
mechanisms that might recognize a problem. Examples of oracles include specifications, contracts, comparable products, past versions of the same product,
Software_testing
Entity owned by a person or a group of people
are three broad forms of property: private property, public property, and collective property (or cooperative property). Property may be jointly owned by
Property
Platform-based design Integrated circuit design Register-transfer level Property Specification Language Virtual prototyping SystemC SystemC AMS Systems engineering
Electronic system-level design and verification
Electronic_system-level_design_and_verification
Computer executable language
template. WS-BPEL aims to model the behavior of processes, via a language for the specification of both Executable and Abstract Business Processes. By doing
Business Process Execution Language
Business_Process_Execution_Language
Artificial intelligence concept
Reward hacking or specification gaming occurs when an AI trained with reinforcement learning optimizes an objective function—achieving the literal, formal
Reward_hacking
Communication connector using the USB protocol
differential signal of serial data per direction), and in 2014, the USB-C specification added a second full-duplex lane. USB has always included some capability
USB_hardware
Approach for designing software
software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary definition of abstract
Design_by_contract
Unicode code point property names and their uses
simplicity of specification, a character property can be assigned by specifying a continuous range of code points that have the same property. Properties are displayed
Unicode_character_property
Standards for operating systems for using the UNIX trademark
interfaces for the C language, a command-line shell, and user commands. The core specifications of the SUS known as Base Specifications are developed and
Single_UNIX_Specification
File format used to present documents
tool's performance. The Open XML Paper Specification is a competing format used both as a page description language and as the native print spooler format
Software testing software
programming language Haskell, designed to assist in software testing by generating test cases for test suites – an approach known as property testing. It
QuickCheck
Language Microsoft developed for initializing structured values and objects
"[MS-XAML] Xaml Object Mapping Specification 2006" (PDF). Microsoft. June 2008. "Extensible Application Markup Language (XAML)". Microsoft. 12 March 2019
Extensible Application Markup Language
Extensible_Application_Markup_Language
Programming language specialized to a specific application domain
well-formed formulas in the specification, a model checker and a theorem prover to check program properties against the specification, and an invariant generator
Domain-specific_language
Standard that is openly accessible and usable by anyone
programming language to measure application transaction response times, adopted by The Open Group) CD-ROM (Yellow Book) (a specification for data interchange
Open_standard
is often used in the specifications of XML languages, for its convenience in describing constraints on constructs those languages allow. In mathematics
XML_tree
Extraction of information from a running system to verify certain properties
algorithmically. Other properties can be more conveniently captured as formal specifications. Runtime verification specifications are typically expressed
Runtime_verification
Functional programming language inspired by ML and aimed at program verification
This allows expressing precise specifications for programs, including functional correctness and security properties. The F* type-checker aims to prove
F*_(programming_language)
Details of the open standard for office documents
This article describes the technical specifications of the OpenDocument office document standard, as developed by the OASIS industry consortium. A variety
OpenDocument technical specification
OpenDocument_technical_specification
Browser-based computing platform
browser, it is not viewed as a programming language in programming language discourse. "100 Specifications for the Open Web Platform and Counting". W3C
Web_platform
Standards Association. "Objects - Definition & Usage". "Ballerina Language Specification" (PDF). WSO2. 2018-05-01. Archived from the original (PDF) on 2018-05-04
Comparison of programming languages
Comparison_of_programming_languages
Methodology of programming
formal semantics of program statements. A combined programming and specification language, connected to a powerful formal proof system, will generally be
Invariant-based_programming
Modal temporal logic with modalities referring to time
liveness properties, on the other hand, every finite path can be extended to an infinite path that satisfies the formula. Specification language One of
Linear_temporal_logic
Family of computer operating systems
mark for certified operating systems that comply with the Single UNIX Specification (SUS). Since the 1990s, Unix systems have appeared on home computers:
Unix
OLAP query language
vendors. The XML for Analysis specification referred back to the OLE DB for OLAP specification for details on the MDX Query Language. In Analysis Services 2005
MultiDimensional_eXpressions
widely used SMARTS queries, MQL provides for the specification of spatial and physicochemical properties of atoms and bonds. Additionally, it can easily
Molecular_Query_Language
Data query language developed by Facebook
Foundation. On February 9, 2018, the GraphQL Schema Definition Language became part of the specification. Many popular public APIs adopted GraphQL as the default
GraphQL
Tibeto-Burman language
Burmese is a Tibeto-Burman language spoken in Myanmar, where it is the official language, lingua franca, and the native language of the Bamar, the country's
Burmese_language
XML standard to describe elements in document
W3C specification, and the use of the same term to describe schema languages in general, some parts of the user community referred to this language as
XML_Schema_(W3C)
Object Management Group standard
DDS specification; Additionally, it encompasses the DDS APIs introduced by DDS-XTypes and DDS-CCM. DDS-PSM-Cxx defines the ISO/IEC C++ PSM language binding
Data_Distribution_Service
General-purpose programming language
Python is a high-level, general-purpose programming language that emphasizes code readability, simplicity, and ease-of-writing with the use of significant
Python_(programming_language)
Declarative graph query language
Cypher is a declarative graph query language that allows for expressive and efficient data querying in a property graph. Cypher was largely an invention
Cypher_(query_language)
Oversees IEEE Standards that are related to computer-aided design
Intellectual Property (IP) (WG) P1778 ESTEREL v7 Language Standardization (WG) P1850 Standard for PSL: Property Specification Language (IEEE-1850) A
Design Automation Standards Committee
Design_Automation_Standards_Committee
Programming language
"C# – a modern, open-source programming language – .NET". Microsoft. "Introduction – C# language specification". learn.microsoft.com. "The history of C#"
Outline of the C sharp programming language
Outline_of_the_C_sharp_programming_language
Mathematical model used by graph-oriented databases
query language suitable for graph-oriented databases, called GQL (Graph Query Language). This standard includes the specification of a property graph
Property_graph
Technical standard for authentication and authorization
Securant XML Trust Assertion Service Specification (X-TASS) from VeriSign Information Technology Markup Language (ITML) from Jamcracker Building on these
SAML
Language for controlling a computer
John C. Reynolds emphasizes that a formal specification language is a programming language as much as any language intended for execution. He argues that
Programming_language
Open source, lossless raw image format
significant use of metadata. The specification of the file format is open and not subject to any intellectual property restrictions or patents. Adobe states
Digital_Negative
PROPERTY SPECIFICATION-LANGUAGE
PROPERTY SPECIFICATION-LANGUAGE
PROPERTY SPECIFICATION-LANGUAGE
PROPERTY SPECIFICATION-LANGUAGE
PROPERTY SPECIFICATION-LANGUAGE
PROPERTY SPECIFICATION-LANGUAGE
PROPERTY SPECIFICATION-LANGUAGE
PROPERTY SPECIFICATION-LANGUAGE
PROPERTY SPECIFICATION-LANGUAGE