ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
1
views
4
references
Top references
cited by
8
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,753
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Static Analysis
Astrée: From Research to Industry
other
Author(s):
David Delmas
,
Jean Souyris
Publication date
(Print):
2007
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
SDG 9: Industry, Innovation and Infrastructure
Most cited references
4
Record
: found
Abstract
: not found
Book Chapter
: not found
The ASTREÉ Analyzer
Patrick Cousot
,
Radhia Cousot
,
Jérôme Feret
…
(2005)
0
comments
Cited
39
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Abstract Interpretation Based Formal Methods and Future Challenges
Patrick Cousot
(2001)
0
comments
Cited
4
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Basic Concepts of Abstract Interpretation
Patrick Cousot
,
Radhia Cousot
,
P Cousot
…
(2004)
0
comments
Cited
4
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Pages
: 437-451
DOI:
10.1007/978-3-540-74061-2_27
SO-VID:
1f27d2f7-f828-4eed-bd0d-dfb6a571d3d4
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 452
Magic-Sets Transformation for the Analysis of Java Bytecode
pp. 87
Formalised Inductive Reasoning in the Logic of Bunched Implications
pp. 170
A New Algorithm for Identifying Loops in Decompilation
pp. 233
Modular Safety Checking for Fine-Grained Concurrency
pp. 249
Static Analysis of Dynamic Communication Systems by Partner Abstraction
pp. 349
Guided Static Analysis
pp. 384
Shape Analysis with Structural Invariant Checkers
pp. 437
Astrée: From Research to Industry
Similar content
2,753
Cultural industries in international business research: Progress and prospect
Authors:
SL WANG
,
Q. GU
,
MA VON GLINOW
…
Prevalence of Salmonella strains isolated from industrial quail eggs and local duck eggs, Iran
Authors:
Z Rahimi
,
P. Ghajarbeygi
,
R Mahmoudi
…
Valorization of cashew nut processing residues for industrial applications
Authors:
Poonam Sharma
,
Vivek Kumar Gaur
,
Ranjna Sirohi
…
See all similar
Cited by
8
Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques
Authors:
Ken Butts
,
James Kapinski
,
Jyotirmoy Deshmukh
…
Relational Thread-Modular Static Value Analysis by Abstract Interpretation
Authors:
Antoine Miné
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
Authors:
Antoine Miné
See all cited by