English
Language
Deutsch
हिंदी
Русский
한국어
Bahasa Indonesia
Bahasa Melayu
Português (Brasil)
Italiano
Français
Español
中文
العربية
Tiếng Việt
ไทย
Українська
日本語
Tagalog
پارسی
Polski
Türkçe
Verify your email address to access all 4shared features. Confirmation letter was sent to $[p1]
Not sure about current e-mail address? Update e-mail
Prove you are not a robot

IA159 Formal Methods for Software Analysis

by landene.careca89
To library
Download
Share
30 files • 20,423 KB
Sort by:A – Z
00:00
IA159 Formal Methods for Software Analysis - Introduction
Jan StrejĀ攀欀
00:00
pdf
139 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
139 KB
5 months ago
landene.careca89
00:00
IA159 Formal Methods for Software Analysis - Coverage Criteria for Tests
Jan StrejĀ攀欀
00:00
pdf
92 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
92 KB
5 months ago
landene.careca89
00:00
IA159 Formal Methods for Software Analysis - American Fuzzy Lop
Jan StrejĀ攀欀
00:00
pdf
165 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
165 KB
5 months ago
landene.careca89
00:00
IA159 Formal Methods for Software Analysis - Deductive Software Verification
Jan StrejĀ攀欀
00:00
pdf
237 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
237 KB
5 months ago
landene.careca89
00:00
IA159 Formal Methods for Software Analysis - Abstract Interpretation
Jan StrejĀ攀欀
00:00
pdf
199 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
199 KB
5 months ago
landene.careca89
00:00
05_slicing.pdf
00:00
pdf
201 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
201 KB
5 months ago
landene.careca89
00:00
IA159 Formal Methods for Software Analysis - Shape Analysis via 3-Valued Logic
Jan StrejĀ攀欀
00:00
pdf
154 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
154 KB
5 months ago
landene.careca89
00:00
07_symbolic.pdf
00:00
pdf
472 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
472 KB
5 months ago
landene.careca89
00:00
IA159 Formal Methods for Software Analysis - Configurable Program Analysis
Jan StrejĀ攀欀
00:00
pdf
263 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
263 KB
5 months ago
landene.careca89
00:00
IA159 Formal Methods for Software Analysis - Verification via Automata, Symbolic Execution, and Interpolation
Jan StrejĀ攀欀
00:00
pdf
252 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
252 KB
5 months ago
landene.careca89
00:00
IA159 Formal Methods for Software Analysis - Verification Witnesses, SV-COMP, and Test-Comp
Jan StrejĀ攀欀
00:00
pdf
413 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
413 KB
5 months ago
landene.careca89
00:00
IA159 Formal Methods for Software Analysis - Bounded Model Checking, k-Induction
Jan StrejĀ攀欀
00:00
pdf
176 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
176 KB
5 months ago
landene.careca89
00:00
Software Verification Witnesses 2.0
No Author Given
00:00
pdf
765 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
765 KB
5 months ago
landene.careca89
00:00
AWZ88.pdf
00:00
pdf
1,226 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
1,226 KB
5 months ago
landene.careca89
00:00
Verification Witnesses
00:00
pdf
3,300 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
3,300 KB
5 months ago
landene.careca89
00:00
Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs
T. Budd, R. DeMillo, R. Lipton and F. Sayward
00:00
pdf
1,403 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
1,403 KB
5 months ago
landene.careca89
00:00
Combining Model Checking and Data-Flow Analysis
Dirk Beyer
00:00
pdf
1,160 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
1,160 KB
5 months ago
landene.careca89
00:00
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction Or Approximation of Fixpoints
P. Cousot and R. Cousot
00:00
pdf
1,199 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
1,199 KB
5 months ago
landene.careca89
00:00
Chalupa21.pdf
00:00
pdf
2,999 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
2,999 KB
5 months ago
landene.careca89
00:00
Title
Author
00:00
pdf
301 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
301 KB
5 months ago
landene.careca89
00:00
Dissecting American Fuzzy Lop: A FuzzBench Evaluation
00:00
pdf
1,099 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
1,099 KB
5 months ago
landene.careca89
00:00
main.dvi
00:00
pdf
675 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
675 KB
5 months ago
landene.careca89
00:00
SAGE: Whitebox Fuzzing for Security Testing
00:00
pdf
423 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
423 KB
5 months ago
landene.careca89
00:00
LNCS 8044 - Software Model Checking for People Who Love Automata
Matthias Heizmann, Jochen Hoenicke, and Andreas Podelski
00:00
pdf
236 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
236 KB
5 months ago
landene.careca89
00:00
LNCS 8559 - Termination Analysis by Learning Terminating Programs
Matthias Heizmann, Jochen Hoenicke, and Andreas Podelski
00:00
pdf
316 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
316 KB
5 months ago
landene.careca89
00:00
LNCS 3148 - A Relational Approach to Interprocedural Shape Analysis
Bertrand Jeannet, Alexey Loginov, Thomas Reps, and Mooly Sagiv
00:00
pdf
390 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
390 KB
5 months ago
landene.careca89
00:00
Symbolic execution and program testing
James C. King
00:00
pdf
1,050 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
1,050 KB
5 months ago
landene.careca89
00:00
program
Fanda
00:00
pdf
23 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
23 KB
5 months ago
landene.careca89
00:00
program
Fanda
00:00
pdf
17 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
17 KB
5 months ago
landene.careca89
00:00
SRW02.pdf
00:00
pdf
1,079 KB
landene.careca89 in IA159 Formal Methods for Software Analysis
1,079 KB
5 months ago
landene.careca89
Continue in app
4shared app
Open
Ringtone app
Open
Continue in browser
Share
Copy link
Sorting
A – Z
Z – A
Smallest first
Largest first
Newest first
Oldest first
Terms of Use
Privacy
Support
Do not sell my personal information
Do not share my personal information
Mobile Version
• English
Deutsch
हिंदी
Русский
한국어
Bahasa Indonesia
Bahasa Melayu
Português (Brasil)
Italiano
Français
Español
中文
العربية
Tiếng Việt
ไทย
Українська
日本語
Tagalog
پارسی
Polski
Türkçe
We Use Cookies. 4shared uses cookies and other tracking technologies to understand where our visitors are coming from and improve your browsing experience on our Website. By using our Website, you consent to our use of cookies and other tracking technologies. Change my preferences
I Agree