2836 search results - page 34 / 568 » Model Checking for Software Architectures |
108
Voted
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
120
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...
119
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
Many recent research projects focus on language support for behavioral software contracts, that is, assertions that govern the boundaries between software building blocks such as ...
107
Voted
STTT
2002
15 years 3 months ago
2002
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM