8337 search results - page 89 / 1668 » Reasoning With Characteristic Models |
CL
2008
Springer
15 years 4 months ago
2008
Springer
CSL
2006
Springer
15 years 4 months ago
2006
Springer
134
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
173
click to vote
JELIA
1994
Springer
15 years 8 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...