Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
service verification » services verification, device verification, service specification
verification program » verification problems, verification process, verification proving
program computing » program comparing, programs compiling, problem computing
program program » programs program, programming program
https » http
service verification » services verification, device verification, service specification
verification program » verification problems, verification process, verification proving
program computing » program comparing, programs compiling, problem computing
program program » programs program, programming program
https » http
1
Table of Contents:
“... in Rule Program Verification -- Chap. 9 - A Verification Method for Rule Programs -- Chap. 10...”
View full text
View full text
Electronic
eBook
2
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
3
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
4
Published 2008
Table of Contents:
“... in Concurrent Programs -- Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... in Graph Using SMT for Automatic Clock Routing -- Cutting the Mix -- The Inez Mathematical Programming...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Unknowns -- The SeaHorn Verification Framework -- Automatic Rootcausing for Program Equivalence Failures...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“...Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“....- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... using Quantitative Model Checking -- Parameterized Verification of Asynchronous Shared-Memory Systems...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- On the Krohn-Rhodes Cascaded Decomposition Theorem -- Temporal Verification of Reactive Systems: Response...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...: Runtime Verification and So Much More -- Visual Debugging for Stream Processing Applications -- Runtime...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... and Generalized Polynomial Time Memory Consistency Verification -- Session 18. Shape Analysis -- Programs...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...”View full text
Electronic
eBook
15
Published 2012
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
16
17
18
Published 2014
Table of Contents:
“...First International Competition on Software for Runtime Verification -- Monitoring and Trace...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... Verification -- Twenty Years of Dynamic Software Model Checking -- Explaining Heisenbugs -- Regular Papers...”View full text
Electronic
eBook