8828 search results - page 1363 / 1766 » Formal methods in practice |
205
click to vote
CAV
2004
Springer
16 years 12 days ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
233
click to vote
ECAI
2004
Springer
16 years 12 days ago
2004
Springer
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...
185
click to vote
FMCO
2004
Springer
16 years 11 days ago
2004
Springer
In 2-player non-zero-sum games, Nash equilibria capture the options for rational behavior if each player attempts to maximize her payoff. In contrast to classical game theory, we ...
179
click to vote
GECCO
2004
Springer
16 years 11 days ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
195
click to vote
IFIP
2004
Springer
16 years 11 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...