1133 search results - page 7 / 227 » Local Logics for Traces |
AMAST
1995
Springer
13 years 11 months ago
1995
Springer
TVCG
2010
13 years 5 months ago
2010
DAC
2003
ACM
14 years 8 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
ENTCS
2007
13 years 7 months ago
2007
Markovian testing and trace equivalences have been recently proposed as reasonable alternatives to Markovian bisimilarity, as both of them induce at the Markov chain level an aggr...
ENTCS
2007
13 years 7 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...