Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings > Using Binary Analysis Frameworks: The Case for BAP and angr
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings |
Julia M. Badger; Kristin Yvonne Rozier
Springer International Publishing
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Using Binary Analysis Frameworks: The Case for BAP and angr
Authors

Chris Casinghino; J. T. Paasch; Cody Roux; John Altidor; Michael Dixon; Dustin Jamner

ARI Id

1665185745171_5209383

Access

Not Available Free

Pages

123-129

DOI

10.1007/978-3-030-20652-9_8

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-20652-9_8

Table of Contents of Book
Showing 1 to 20 of 28 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xxi
Learning-Based Testing of an Industrial Measurement Device
Bernhard K. Aichernig; Christian Burghard; Robert Korošec
1-18
\(\textsf {ML}_{\nu }\): A Distributed Real-Time Modal Logic
James Ortiz; Moussa Amrani; Pierre-Yves Schobbens
19-35
Local Reasoning for Parameterized First Order Protocols
Rylo Ashmore; Arie Gurfinkel; Richard Trefler
36-53
Generation of Signals Under Temporal Constraints for CPS Testing
Benoît Barbot; Nicolas Basset; Thao Dang
54-70
Traffic Management for Urban Air Mobility
Suda Bharadwaj; Steven Carr; Natasha Neogi; Hasan Poonawala; Alejandro Barberia Chueca; Ufuk Topcu
71-87
Towards Full Proof Automation in Frama-C Using Auto-active Verification
Allan Blanchard; Frédéric Loulergue; Nikolai Kosmatov
88-105
Using Standard Typing Algorithms Incrementally
Matteo Busi; Pierpaolo Degano; Letterio Galletta
106-122
Using Binary Analysis Frameworks: The Case for BAP and angr
Chris Casinghino; J. T. Paasch; Cody Roux; John Altidor; Michael Dixon; Dustin Jamner
123-129
Automated Backend Selection for ProB Using Deep Learning
Jannik Dunkelau; Sebastian Krings; Joshua Schmidt
130-147
Optimizing a Verified SAT Solver
Mathias Fleury
148-165
Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction
Aman Goel; Karem Sakallah
166-185
Towards a Two-Layer Framework for Verifying Autonomous Vehicles
Rong Gu; Raluca Marinescu; Cristina Seceleanu; Kristina Lundqvist
186-203
Clausal Proofs of Mutilated Chessboards
Marijn J. H. Heule; Benjamin Kiesl; Armin Biere
204-210
Practical Causal Models for Cyber-Physical Systems
Amjad Ibrahim; Severin Kacianka; Alexander Pretschner; Charles Hartsell; Gabor Karsai
211-227
Extracting and Optimizing Formally Verified Code for Systems Programming
Eleftherios Ioannidis; Frans Kaashoek; Nickolai Zeldovich
228-236
Structured Synthesis for Probabilistic Systems
Nils Jansen; Laura Humphrey; Jana Tumova; Ufuk Topcu
237-254
Design and Runtime Verification Side-by-Side in eTrice
Sudeep Kanav; Levi Lúcio; Christian Hilden; Thomas Schuetz
255-262
Data Independence for Software Transactional Memory
Jürgen König; Heike Wehrheim
263-279
Transaction Protocol Verification with Labeled Synchronization Logic
Mohsen Lesani
280-297
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 28 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings