Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive verification » interactive sonification, integration verification, integrating verification
verification problems » purification problems, verification process, identification problems
program contracts » programme contract, program abstracts, program controls
problems program » problems programs, problem program, problems progress
https » http
interactive verification » interactive sonification, integration verification, integrating verification
verification problems » purification problems, verification process, identification problems
program contracts » programme contract, program abstracts, program controls
problems program » problems programs, problem program, problems progress
https » http
1
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Application of Geometric Semantics to Static Analysis of Concurrent Programs -- Verification of Qualitative...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Monotonic Abstraction: A CEGAR for Parameterized Verification -- Information Flow in Interactive Systems...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Invited Talks -- Forcing Monotonicity in Parameterized Verification: From Multisets to Words...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... -- Generating Functions of Timed Languages -- The Robust Set Problem: Parameterized Complexity and Approximation...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... and Beyond -- Interaction and Realizability -- A Short Introduction to Computational Social Choice...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... -- Contract-Related Agents -- Agent Interaction and Normative Systems -- Specification and Verification...”View full text
Electronic
eBook