Property Specification Language: Difference between revisions

Revision as of 21:41, 13 November 2015

Revision as of 21:44, 13 November 2015

Line 251:

*{{Cite book| title = 1850-2010 – IEEE Standard for Property Specification Language (PSL)| doi = 10.1109/IEEESTD.2010.5446004| year = 2010| isbn = 978-0-7381-6255-3}}

**IEC 62531:2012 {{Cite book| title = 62531-2012 – IEC 62531:2012(E) (IEEE Std 1850-2010): Standard for Property Specification Language (PSL)| doi = 10.1109/IEEESTD.2012.6228486| year = 2012| isbn = 978-0-7381-7299-6}}

[http://www.cis.upenn.edu/~fisman/documents/EFHMV_ICALP03_full.pdf] *{{cite journalbook|doi=10.1007/978-3-540-4506145069-0_676_3|chapter=TheReasoning Definitionwith ofTemporal aLogic Temporalon ClockTruncated OperatorPaths|title=Automata,Computer LanguagesAided and ProgrammingVerification|volume=27192725|pages=85727|series=Lecture Notes in Computer Science|year=2003|last1=Eisner|first1=Cindy|last2=Fisman|first2=Dana|last3=Havlicek|first3=John|last4=McIsaacLustig|first4=AnthonyYoad|last5=McIsaac|first5=Anthony|last6=Van Campenhout|first5first6=David|isbn=978-3-540-4049340524-45|url=http://www.research.ibm.com/people/e/eisner/papers/cav49.pdf}}

*''Reasoning with Temporal Logic on Truncated Paths'', Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout

[http://www.research.ibm.com/people/e/eisner/papers/cav49.pdf] *{{cite journalbook|doi=10.1007/978-3-540-4506945061-6_30_67|chapter=ReasoningThe withDefinition Temporalof Logica onTemporal TruncatedClock PathsOperator|title=ComputerAutomata, AidedLanguages Verificationand Programming|volume=27252719|pages=27857|series=Lecture Notes in Computer Science|year=2003|last1=Eisner|first1=Cindy|last2=Fisman|first2=Dana|last3=Havlicek|first3=John|last4=LustigMcIsaac|first4=YoadAnthony|last5=McIsaac|first5=Anthony|last6=Van Campenhout|first6first5=David|isbn=978-3-540-4052440493-54|url=http://www.cis.upenn.edu/~fisman/documents/EFHMV_ICALP03_full.pdf}}

*''The Definition of a Temporal Clock Operator'', Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout

[http://www.cis.upenn.edu/~fisman/documents/EFHMV_ICALP03_full.pdf] {{cite journal|doi=10.1007/3-540-45061-0_67|chapter=The Definition of a Temporal Clock Operator|title=Automata, Languages and Programming|volume=2719|pages=857|series=Lecture Notes in Computer Science|year=2003|last1=Eisner|first1=Cindy|last2=Fisman|first2=Dana|last3=Havlicek|first3=John|last4=McIsaac|first4=Anthony|last5=Van Campenhout|first5=David|isbn=978-3-540-40493-4}}

==External links==