Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Verification of evolving software via component substitutability analysisChaki, Sagar ; Clarke, Edmund ; Sharygina, Natasha ; Sinha, NishantFormal methods in system design, 2008-06, Vol.32 (3), p.235-266 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Automated assumption generation for compositional verificationGupta, Anubhav ; McMillan, K. L. ; Fu, ZhaohuiFormal methods in system design, 2008-06, Vol.32 (3), p.285-301 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Automatic analysis of DMA races using model checking and k-inductionDonaldson, Alastair F. ; Kroening, Daniel ; Rümmer, PhilippFormal methods in system design, 2011-08, Vol.39 (1), p.83-113 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |