8828 search results - page 52 / 1766 » Formal methods in practice |
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
108
click to vote
COMPOS
1997
Springer
15 years 2 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
MT
2007
14 years 9 months ago
2007
We study automata for capturing the transformations in practical natural language processing systems, especially those that translate between human languages. For several variation...
47
Voted
FM
2006
Springer
15 years 1 months ago
2006
Springer
