Portal de Periódicos da CAPES

Recent Developments in FDR

2012; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-642-31424-7_52

1611-3349

Philip Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell,

Software Testing and Debugging Techniques

We describe and report upon various substantial extensions of the CSP refinement checker FDR including (i) the direct ability to handle real-time processes; (ii) the incorporation of bounded model checking technology; (iii) the development of conservative and highly efficient static analysis algorithms for guaranteeing livelock-freedom; and (iv) the development of automated CEGAR technology.