10 search results - page 1 / 2 » Verifying Temporal Regular Properties of Abstractions of Ter... |
CORR
2009
Springer
13 years 3 months ago
2009
Springer
CTRS
1992
13 years 9 months ago
1992
ded abstract of this paper is published in the proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont- -Mousson, 1992 1
PASTE
2004
ACM
13 years 10 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
MFCS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
LATA
2009
Springer
14 years 20 hour ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...