Volume 7, Issue 2

June 2011

Special Issue on NASA Formal Methods Symposium 2010

Issue Editor:

9 articles in this issue

Preface: special issue on NASA Formal Methods Symposium 2010
César A. Muñoz
SI: NFM 2010 25 May 2011 Pages: 71 - 72
SimCheck: a contract type system for Simulink
Pritam Roy
Natarajan Shankar
SI: NFM 2010 Open access 24 March 2011 Pages: 73 - 83
A monadic approach to automated reasoning for Bluespec SystemVerilog
Dominic Richards
David Lester
SI: NFM 2010 18 March 2011 Pages: 85 - 95
A model advisor for NuSMV specifications
Paolo Arcaini
Angelo Gargantini
Elvinia Riccobene
SI: NFM 2010 12 March 2011 Pages: 97 - 107
Towards a verification framework for faulty message passing systems in PVS
Concetta Pilotto
Jerome White
SI: NFM 2010 25 March 2011 Pages: 109 - 118
Using integer clocks to verify clock-synchronization protocols
Xiaowan Huang
Anu Singh
Scott A. Smolka
SI: NFM 2010 24 May 2011 Pages: 119 - 130
Automated assume-guarantee reasoning for omega-regular systems and specifications
Sagar Chaki
Arie Gurfinkel
SI: NFM 2010 12 March 2011 Pages: 131 - 139
Symbolic computation of strongly connected components and fair cycles using saturation
Yang Zhao
Gianfranco Ciardo
SI: NFM 2010 11 March 2011 Pages: 141 - 150
Proofs of numerical programs when the compiler optimizes
Sylvie Boldo
Thi Minh Tuyen Nguyen
SI: NFM 2010 18 March 2011 Pages: 151 - 160

Search