414 search results - page 3 / 83 » Inheritance of Temporal Logic Properties |
ATVA
2009
Springer
13 years 9 months ago
2009
Springer
We present specification languages that naturally capture exactly the regular and -regular properties that are stutter invariant. Our specification languages are variants of the cl...
TCS
1998
13 years 5 months ago
1998
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA...
AMAI
2000
Springer
13 years 5 months ago
2000
Springer
principled ones
ENTCS
2006
13 years 5 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
ISSE
2007
13 years 5 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...