696 search results - page 27 / 140 » Explaining abstract counterexamples |
135
Voted
ECAL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Structural hallmarks of language can be explained in terms of adaptation, by language, to pressures arising during its cultural transmission. Here I present a model which...
124
Voted
ICFEM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
114
click to vote
IEICET
2006
15 years 2 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
141
click to vote
TACAS
2010
Springer
15 years 13 days ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
117
Voted
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...