About: Property Specification Language

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Lògica temporal que amplia la lògica temporal lineal

Property	Value
dbo:description	lògica temporal que amplia la lògica temporal lineal (ca) basé sur le langage Sugar d’IBM (fr) lògica temporal que amplia la lògica temporal lineal (ca) basé sur le langage Sugar d’IBM (fr)
dbo:thumbnail	wiki-commons:Special:FilePath/The_trigger_operator_-_slide_1.jpg?width=300
dbo:wikiPageExternalLink	http://www.accellera.org/ http://www.doulos.com/knowhow/psl/ http://www.project-veripage.com/psl_tutorial_1.php http://www.systemverilog.us/psl_info.html http://www.research.ibm.com/people/e/eisner/papers/cav49.pdf http://www.cis.upenn.edu/~fisman/documents/EFHMV_ICALP03_full.pdf http://standards.ieee.org/announcements/pr_1850psl.html http://www.eda.org/ieee-1850 https://www.springer.com/engineering/circuits+%26+systems/book/978-0-387-35313-5
dbo:wikiPageWikiLink	dbr:Model_checking dbr:File:Multiple_clocks.jpg dbr:File:Need_for_multiple_clocks.jpg dbr:File:The_trigger_operator_-_slide_1.jpg dbr:File:The_trigger_operator_-_slide_2.jpg dbr:File:The_trigger_operator_-_slide_3.jpg dbr:File:The_trigger_operator_-_slide_4.jpg dbc:IEC_standards dbc:Hardware_verification_languages dbr:SystemVerilog dbr:Property_(philosophy) dbr:VHDL dbr:Accellera dbc:Formal_specification_languages dbc:IEEE_DASC_standards dbr:Formal_verification dbr:Logic_simulation dbr:Standardization dbr:Temporal_logic dbr:Linear_temporal_logic dbr:Verilog dbr:SystemC dbr:Regular_expressions dbr:Omega-regular_languages dbr:Open_SystemC_Initiative dbr:IEEE dbr:Assertion_(computing)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:! dbt:= dbt:Code dbt:IEEE_standards dbt:Mono dbt:Programmable_Logic
dct:subject	dbc:IEC_standards dbc:Hardware_verification_languages dbc:Formal_specification_languages dbc:IEEE_DASC_standards
gold:hypernym	dbr:Logic
rdfs:label	Property Specification Language (en) Property Specification Language (de) Property Specification Language (fr) Property Specification Language (ja) PSL (język opisu właściwości) (pl)
owl:sameAs	freebase:Property Specification Language yago-res:Property Specification Language wikidata:Property Specification Language dbpedia-de:Property Specification Language dbpedia-fr:Property Specification Language dbpedia-ja:Property Specification Language dbpedia-pl:Property Specification Language dbpedia-global:Property Specification Language
prov:wasDerivedFrom	wikipedia-en:Property_Specification_Language?oldid=1237719664&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Multiple_clocks.jpg wiki-commons:Special:FilePath/Need_for_multiple_clocks.jpg wiki-commons:Special:FilePath/The_trigger_operator_-_slide_1.jpg wiki-commons:Special:FilePath/The_trigger_operator_-_slide_2.jpg wiki-commons:Special:FilePath/The_trigger_operator_-_slide_3.jpg wiki-commons:Special:FilePath/The_trigger_operator_-_slide_4.jpg
foaf:isPrimaryTopicOf	wikipedia-en:Property_Specification_Language
is dbo:knownFor of	dbr:Dana_Fisman
is dbo:wikiPageDisambiguates of	dbr:PSL
is dbo:wikiPageWikiLink of	dbr:PSL dbr:SystemVerilog dbr:VHDL dbr:Accellera dbr:Aldec dbr:ModelSim dbr:List_of_model_checking_tools dbr:Formal_verification dbr:Hardware_description_language dbr:Open_Verification_Library dbr:Electronic_system-level_design_and_verification dbr:Temporal_logic dbr:Verilog dbr:Hardware_verification_language dbr:Design_Automation_Standards_Committee dbr:High-level_verification dbr:List_of_International_Electrotechnical_Commission_standards
is foaf:primaryTopic of	wikipedia-en:Property_Specification_Language