Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
international simulation » international regulation, international regulations, international education
simulation program » education program
program verifier » program series
verifier array » verifier proxy
https » http
international simulation » international regulation, international regulations, international education
simulation program » education program
program verifier » program series
verifier array » verifier proxy
https » http
1
Published 2015
Table of Contents:
“... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”View full text
Electronic
eBook
2
Published 2012
Table of Contents:
“... with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”View full text
Electronic
eBook