Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
verification programming » specification programming, identification programming, verification program
interfaces verification » interfaces specification, interface specification, interactions verification
programming programming » programming programmed, programming program
computer https » computers https, computing https, computer arts
verification programming » specification programming, identification programming, verification program
interfaces verification » interfaces specification, interface specification, interactions verification
programming programming » programming programmed, programming program
computer https » computers https, computing https, computer arts
1
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
2
Published 2006
Table of Contents:
“... and Generalized Polynomial Time Memory Consistency Verification -- Session 18. Shape Analysis -- Programs...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...”View full text
Electronic
eBook
4
Table of Contents:
“... -- Communication Structures -- The Verification and Validation Life Cycle -- Traceability Analysis -- Interface...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“...C++ and Verification (The Why and How) -- Why C++? -- OOP, C++, and Verification -- A Layered...”
View full text
View full text
Electronic
eBook
6
Table of Contents:
“...SystemVerilog and Verification (The Why and How) -- Why SystemVerilog? -- OOP and SystemVerilog...”
View full text
View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident...”View full text
Electronic
eBook
10
by Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Published 2011
Table of Contents:
“.... Propositional Logic -- 4. First-Order Logic -- 5. Hoare Logic -- 6. Generating Verification Conditions -- 7...”Published 2011
View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Toolkit for Plastic User Interfaces -- Executable Models for Human-Computer Interaction -- A Middleware...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”View full text
Electronic
eBook
17
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Computation -- Theory -- A Theory of System Interaction: Components, Interfaces, and Services -- Verification...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Verification of Hybrid Programs -- Challenges and Issues of Supporting Task Parallelism in MPI....”View full text
Electronic
eBook