8083 search results - page 89 / 1617 » A Formalization of Software Architecture |
127
Voted
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 ...
106
Voted
ENTCS
2006
15 years 3 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
83
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
102
Voted
CISIS
2010
IEEE
15 years 10 months ago
2010
IEEE
107
Voted
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
