Property Specification Language - PDFSEARCH.IO - Document Search Engine

Property Specification Language
Results: 9

#	Item
1	A Domain Specific Property Language For Fraud Detection To Support Agile Specification Development Aaron Calafato Christian Colombo Add to Reading List Source URL: staff.um.edu.mt - Date: 2014-04-03 02:02:03
2	[MS-LCID]: Windows Language Code Identifier (LCID) Reference Intellectual Property Rights Notice for Open Specifications Documentation  Technical Documentation. Microsoft publishes Open Specifications documentation f Add to Reading List Source URL: download.microsoft.com Language: English - Date: 2014-05-02 11:20:47 Technology Locale HTML Unicode Documentation Specification Microsoft Big5 Character encoding Computing Technical communication Software
3	Accellera Continues to Promote Increased Electronic Design Productivity with Revised VHDL Standard Revision approval follows Accellera’s approval of VHDL API specification NAPA, Calif., Oct. 9, 2006, — Accellera, the Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2006-10-22 05:04:56 Standards organizations Hardware verification languages IEEE standards Accellera VHDL Property Specification Language IEEE Standards Association Verilog Institute of Electrical and Electronics Engineers Electronic engineering Electronic design automation Hardware description languages
4	Property Specification Language Reference Manual Version 1.1 June 9, 2004 Add to Reading List Source URL: www.eda-stds.org Language: English - Date: 2004-06-29 00:18:58 Formal methods Hardware verification languages Property Specification Language Accellera Technical communication Verilog Specification Functional verification Functional specification Electronic design automation Electronic engineering Hardware description languages
5	XACML Intellectual Property Control (IPC) Profile Version 1.0 OASIS Standard 19 January 2015 Specification URIs This version: Add to Reading List Source URL: docs.oasis-open.org Language: English - Date: 2015-01-19 12:00:00 Computer security Identity management Access control Patent law OASIS PERMIS Know-how Agreement on Trade-Related Aspects of Intellectual Property Rights Security Assertion Markup Language Security XACML Computing
6	Security Checkers: Detecting Processor Malicious Inclusions at Runtime Michael Bilzor, Ted Huffmire, Cynthia Irvine, and Tim Levin U.S. Naval Postgraduate School Abstract—To counter the growing threat of malicious sub Add to Reading List Source URL: www.cisr.us Language: English - Date: 2012-10-30 13:43:14 Hardware verification languages Logic design Formal methods Logic in computer science Hardware Trojan Property Specification Language Runtime verification SystemVerilog Functional verification Electronic engineering Digital electronics Hardware description languages
7	1 Evaluating Security Requirements in a General-Purpose Processor by Combining Assertion Checkers with Code Coverage Michael Bilzor∗ , Ted Huffmire† , Cynthia Irvine† , Tim Levin† Add to Reading List Source URL: www.cisr.us Language: English - Date: 2012-10-30 13:43:13 Hardware verification languages Property Specification Language SystemVerilog VHDL Functional verification Verilog OpenRISC E Logic simulation Electronic engineering Electronic design automation Hardware description languages
8	Property Specification Language Reference Manual Version 1.01 April 25, 2003 Add to Reading List Source URL: www.eda.org Language: English - Date: 2003-04-25 10:33:06 Hardware verification languages Formal methods Technical communication Property Specification Language VHDL Accellera Verilog Formal verification Specification Electronic engineering Electronic design automation Hardware description languages
9	ON THE EFFECTIVENESS OF ASSERTION-BASED VERIFICATION IN AN INDUSTRIAL CONTEXT L.Pierre, F.Pancher, R.Suescun, J.Quévremont TIMA Laboratory, Grenoble, France Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-10-21 02:25:05 Electronic design automation Logic design Model checking Temporal logic VHDL Logic simulation Hardware verification languages Formal methods Property Specification Language Electronic engineering Digital electronics Hardware description languages