Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings > Insight: An Open Binary Analysis Framework
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings |
Christel Baier; Cesare Tinelli
Springer Berlin Heidelberg
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Insight: An Open Binary Analysis Framework
Authors

Emmanuel Fleury; Olivier Ly; Gérald Point; Aymeric Vincent

ARI Id

1664710991986_2857344

Access

Not Available Free

Pages

218-224

DOI

10.1007/978-3-662-46681-0_18

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-662-46681-0_18

Table of Contents of Book
Showing 1 to 20 of 78 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
1-18
Front Matter
1-1
Scalable Timing Analysis with Refinement
Nan Guan; Yue Tang; Jakaria Abdullah; Martin Stigge; Wang Yi
3-18
Front Matter
19-19
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System
Jean-Baptiste Jeannin; Khalil Ghorbal; Yanni Kouskoulas; Ryan Gardner; Aurora Schmidt; Erik Zawadzki et al.
21-36
Verified Reachability Analysis of Continuous Systems
Fabian Immler
37-51
HyComp: An SMT-Based Model Checker for Hybrid Systems
Alessandro Cimatti; Alberto Griggio; Sergio Mover; Stefano Tonetta
52-67
C2E2: A Verification Tool for Stateflow Models
Parasara Sridhar Duggirala; Sayan Mitra; Mahesh Viswanathan; Matthew Potok
68-82
Front Matter
83-83
Non-cumulative Resource Analysis
Elvira Albert; Jesús Correas Fernández; Guillermo Román-Díez
85-100
Value Slice: A New Slicing Concept for Scalable Property Checking
Shrawan Kumar; Amitabha Sanyal; Uday P. Khedker
101-115
A Method for Improving the Precision and Coverage of Atomicity Violation Predictions
Reng Zeng; Zhuo Sun; Su Liu; Xudong He
116-130
Commutativity of Reducers
Yu-Fang Chen; Chih-Duo Hong; Nishant Sinha; Bow-Yaw Wang
131-146
Front Matter
147-147
Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling
Hiroshi Unno; Tachio Terauchi
149-163
Analysis of Dynamic Process Networks
Kedar S. Namjoshi; Richard J. Trefler
164-178
Front Matter
179-179
MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives
Tomáš Brázdil; Krishnendu Chatterjee; Vojtěch Forejt; Antonín Kučera
181-187
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications
Ramiro Demasi; Pablo F. Castro; Nicolás Ricci; Thomas S. E. Maibaum; Nazareno Aguirre
188-193
νZ - An Optimizing SMT Solver
Nikolaj Bjørner; Anh-Dung Phan; Lars Fleckenstein
194-199
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 78 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings