2514 search results - page 45 / 503 » The use of industrial-strength formal methods |
115
click to vote
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
The framework of this paper is the formal specification and proof of applications distributed on symmetric interconnection networks, e.g. the torus or the hypercube. The algorithms...
ACL
2007
15 years 3 months ago
2007
A key question facing the parsing community is how to compare parsers which use different grammar formalisms and produce different output. Evaluating a parser on the same resource...
WCRE
1999
IEEE
15 years 6 months ago
1999
IEEE
As a program evolves, it becomes increasingly difficult to understand and reason about changes in the source code. Eventually, if enough changes are made, reverse engineering and ...
193
click to vote
IFM
2010
Springer
14 years 12 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
111
click to vote
TYPES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...