Selected Extended Papers of NFM 2016: PrefaceMuñoz, César A.; Rayadurgam, Sanjai; Tkachuk, Oksana · Journal of Automated Reasoning · 2018

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 ||Rayadurgam, Sanjai; Tkachuk, Oksana · 2016

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Assisted Coverage ClosureRayadurgam, Sanjai; Tkachuk, Oksana · 2016

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Obfuscator Synthesis for Privacy and UtilityRayadurgam, Sanjai; Tkachuk, Oksana · 2016

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || A Modular Way to Reason About IterationRayadurgam, Sanjai; Tkachuk, Oksana · 2016

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || ARSENAL: Automatic Requirements Specification Extraction from Natural LanguageRayadurgam, Sanjai; Tkachuk, Oksana · 2016

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Probabilistic Formal Verification of the SATS Concept of OperationRayadurgam, Sanjai; Tkachuk, Oksana · 2016

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Code Generation Using a Formal Model of Reference CountingRayadurgam, Sanjai; Tkachuk, Oksana · 2016