8828 search results - page 380 / 1766 » Formal methods in practice |
169
click to vote
FMCO
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
155
click to vote
ICMCS
1998
IEEE
15 years 11 months ago
1998
IEEE
Various digital watermarking techniques have been proposed in recent years as the methods to protect the copyright of multimedia data. However, as pointed out by the IBM research ...
194
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
144
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
227
Voted
CONCUR
1991
Springer
15 years 10 months ago
1991
Springer
Abstract. A syntax-directed formal system for the development of totally correct programs with respect to an (unfair) shared-state parallel programming language is proposed. The pr...