8828 search results - page 102 / 1766 » Formal methods in practice |
120
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
129
click to vote
IFL
2007
Springer
15 years 10 months ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
128
Voted
ENTCS
2007
15 years 4 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
126
click to vote
DCC
2008
IEEE
16 years 3 months ago
2008
IEEE
Re-Pair is a dictionary-based compression method invented in 1999 by Larsson and Moffat. Although its practical performance has been established through experiments, the method ha...