4036 search results - page 44 / 808 » Formal Methods |
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
120
click to vote
EDUTAINMENT
2007
Springer
15 years 8 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
COMPSAC
1997
IEEE
15 years 6 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
111
click to vote
TFM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
111
click to vote
AUSAI
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...