Learning and Practice of the Property Specification Language

IEEE Design & Test of Computers ◽

10.1109/mdt.2011.111 ◽

2011 ◽

Vol 28 (5) ◽

pp. 110-111

Author(s):

Nicolas Troquard

Keyword(s):

Specification Language ◽

Property Specification

Download Full-text

Devise and establishment of property specification language to verify the complex behaviour of FPGA Ethernet IP core

2016 IEEE International Conference on Recent Trends in Electronics, Information & Communication Technology (RTEICT) ◽

10.1109/rteict.2016.7807929 ◽

2016 ◽

Author(s):

P N Karthik ◽

K Suresh

Keyword(s):

Specification Language ◽

Ip Core ◽

Complex Behaviour ◽

Property Specification

Download Full-text

IEEE Standard for Property Specification Language (PSL)

10.1109/ieeestd.2005.97780 ◽

2005 ◽

Keyword(s):

Specification Language ◽

Property Specification ◽

Download Full-text

A Generated Property Specification Language for Resilient Multirobot Missions

Lecture Notes in Computer Science - Software Engineering for Resilient Systems ◽

10.1007/978-3-319-65948-0_4 ◽

2017 ◽

pp. 45-61 ◽

Author(s):

Swaib Dragule ◽

Bart Meyers ◽

Patrizio Pelliccione

Keyword(s):

Specification Language ◽

Property Specification

Download Full-text

IEEE Standard for Property Specification Language (PSL)

10.1109/ieeestd.2010.5446004 ◽

2010 ◽

Keyword(s):

Specification Language ◽

Property Specification ◽

Download Full-text

PyBioNetFit and the Biological Property Specification Language

iScience ◽

10.1016/j.isci.2019.08.045 ◽

2019 ◽

Vol 19 ◽

pp. 1012-1036 ◽

Author(s):

Eshan D. Mitra ◽

Ryan Suderman ◽

Joshua Colvin ◽

Alexander Ionkov ◽

Andrew Hu ◽

...

Keyword(s):

Biological Property ◽

Specification Language ◽

Property Specification

Download Full-text

Unified Property Specification Language for Industrial Systems Analysis: LUSP

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)39396-5 ◽

2000 ◽

Vol 33 (17) ◽

pp. 179-184 ◽

Author(s):

V. Chapuriat ◽

E. Lamine ◽

J. Magnier

Keyword(s):

Systems Analysis ◽

Specification Language ◽

Industrial Systems ◽

Property Specification

Download Full-text

Standard for Property Specification Language (PSL)

10.3403/30167901 ◽

2007 ◽

Keyword(s):

Specification Language ◽

Property Specification

Download Full-text

IEEE standard for property specification language (PSL)

10.3403/30257773 ◽

2012 ◽

Keyword(s):

Specification Language ◽

Property Specification ◽

Download Full-text

Behavioral synthesis of property specification language (PSL) assertions

18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07) ◽

10.1109/rsp.2007.14 ◽

2007 ◽

Author(s):

Harald Obereder ◽

Markus Pfaff

Keyword(s):

Specification Language ◽

Behavioral Synthesis ◽

Property Specification

Download Full-text

A PROPERTY SPECIFICATION LANGUAGE FOR WORKFLOW DIAGNOSTICS

Proceedings of the Seventh International Conference on Enterprise Information Systems ◽

10.5220/0002516502970302 ◽

2005 ◽

Keyword(s):

Specification Language ◽

Property Specification

Download Full-text