4047 search results - page 321 / 810 » Algebraic Model Checking |
180
click to vote
ALGORITHMICA
2002
15 years 6 months ago
2002
Abstract. We consider the tasks of testing and spot-checking for data streams. These testers and spotcheckers are potentially useful in real-time or near real-time applications tha...
168
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
147
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
This paper regards the recurrent linguistic rule bases. These systems are considered as relational models with several relations. Such representation allows to use relation algebr...
152
click to vote
ECHT
1992
15 years 10 months ago
1992
We present a model for data organized as graphs. Regular expressions over the types of the node and edge labels are used to qualify connected subgraphs. An algebraic language base...
130
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
The problem of deciding the probability model equivalence of two PRISM programs is addressed. In the finite case this problem can be solved (albeit slowly) using techniques from a...