206 search results - page 1 / 42 » Dynamic Linear Time Temporal Logic |
AMAI
2006
Springer
13 years 4 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
CONCUR
1997
Springer
13 years 8 months ago
1997
Springer
APAL
1999
13 years 4 months ago
1999
ISSE
2007
13 years 4 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
ICTAC
2007
Springer
13 years 10 months ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...