A Practical Introduction to PSL: SERE Style
2006-01-01 00:00:00
[Up until now, we have seen PSL properties that are built of Boolean expressions and temporal operators in LTL style. Another way to build properties is to use SEREs — Sequential Extended Regular Expressions. SEREs are similar in spirit to standard regular expressions, like those used for pattern matching in many applications. One difference is that the atoms of a SERE are Boolean expressions, whereas the atoms of a standard regular expression are single characters.]
http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.pnghttp://www.deepdyve.com/lp/springer-journals/a-practical-introduction-to-psl-sere-style-EYyA8JGkS8
[Up until now, we have seen PSL properties that are built of Boolean expressions and temporal operators in LTL style. Another way to build properties is to use SEREs — Sequential Extended Regular Expressions. SEREs are similar in spirit to standard regular expressions, like those used for pattern matching in many applications. One difference is that the atoms of a SERE are Boolean expressions, whereas the atoms of a standard regular expression are single characters.]
Published: Jan 1, 2006
Keywords: Data Transfer; Single Cycle; Concatenation Operator; Boolean Expression; Current Cycle
To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.