87 search results - page 1 / 18 » The Village Telephone System: A Case Study in Formal Softwar... |
TPHOL
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
WCRE
1999
IEEE
13 years 11 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 ...
ICSE
1999
IEEE-ACM
13 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
ISSS
2002
IEEE
14 years 11 days ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...