51 search results - page 1 / 11 » Iterative Model Fixing with Counterexamples |
86
Voted
APSEC
2008
IEEE
15 years 10 months ago
2008
IEEE
122
Voted
ALT
2006
Springer
16 years 17 days ago
2006
Springer
A model for learning in the limit is defined where a (so-called iterative) learner gets all positive examples from the target language, tests every new conjecture with a teacher ...
131
Voted
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
249
Voted
POPL
2003
ACM
16 years 3 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
129
Voted
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
Table 1 shows the payoff to player one. The same matrix also holds for player two. Player one can gain the maximum 5 points (T = 5) by defection if player two cooperates. However,...