Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

91

Voted

CORR
2009
Springer

85views Education» more CORR 2009»

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

15 years 17 days ago

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

Download www.irisa.fr

Benoît Boyer, Thomas Genet

Real-time Traffic

CORR 2009 | Education |

claim paper

Related Content

» Decidability of Regularity and Related Properties of Ground Normal Form Languages

» Dynamically inferring temporal properties

» Synthesis for Structure Rewriting Systems

» Termination of Priority Rewriting

» A Practical Technique for Process Abstraction

» Verification of Quantitative Temporal Properties of SDL Specifications

» TAPAs A Tool for the Analysis of Process Algebras

» Typestate Checking and Regular Graph Constraints

» Transition predicate abstraction and fair termination

Post Info
More Details (n/a)

Added	17 Feb 2011
Updated	17 Feb 2011
Type	Journal
Year	2009
Where	CORR
Authors	Benoît Boyer, Thomas Genet

Comments (0)