1438 search results - page 10 / 288 » An Expressive Extension of TLC |
111
Voted
FUIN
2010
14 years 10 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
125
Voted
BMCBI
2008
15 years 25 days ago
2008
Background: Several biological techniques result in the acquisition of functional sets of cDNAs that must be sequenced and analyzed. The emergence of redundant databases such as U...
87
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
One of the key benefits of XML is its ability to represent a mix of structured and unstructured (text) data. Although current XML query languages such as XPath and XQuery can expr...
94
Voted
TARK
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
148
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...