4036 search results - page 1 / 808 » Formal Methods |
228
Voted
FM
1997
Springer
15 years 7 months ago
1997
Springer
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...
202
click to vote
AMAST
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
232
Voted
TFM
2009
Springer
15 years 10 months ago
2009
Springer
186
Voted
FM
1998
Springer
15 years 7 months ago
1998
Springer