788 search results - page 78 / 158 » Symbolic Equivalence Checking |
140
click to vote
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
A new way to detect arrows in line drawings is proposed in this paper. Our approach is based on the definition of the structure of such a symbol. Signatures of angular areas are ...
113
click to vote
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
138
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
130
click to vote
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
104
click to vote
DAC
2007
ACM
15 years 7 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...