Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
interface verification » interface specification, inference verification, interactive verification
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
interface verification » interface specification, inference verification, interactive verification
programming constructs » programming concepts, programming contest
constructs https » construction https, constructs loops, constructs arti
1
Table of Contents:
“...SystemVerilog and Verification (The Why and How) -- Why SystemVerilog? -- OOP and SystemVerilog...”
View full text
View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...”View full text
Electronic
eBook
4
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
5
Published 2007
Table of Contents:
“... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... and Heterogeneous Clusters -- Verification of Message Passing Programs -- Visual Debugging of MPI Applications...”View full text
Electronic
eBook
8
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
9
Table of Contents:
“...Verification Guidelines -- Data Types -- Procedural Statements and Routines -- Basic OOP...”
View full text
View full text
Electronic
eBook
10
Table of Contents:
“... and Design -- 4.2 The Interface Construct -- 4.3 Stimulus Timing -- 4.4 Interface Driving and Sampling -- 4.5...”
View full text
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 2007
Table of Contents:
“... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...”View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“...Robot programming -- Languages and compilation techniques -- Real-time and fault tolerance...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...”View full text
Electronic
eBook
17
Table of Contents:
“... Level Design of a Shared Memory System -- Specification of Interfaces -- Data Paths of Caches -- Cache...”
View full text
View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“...Stochastic Pi-calculus Revisited -- A Clock-Based Framework for Construction of Hybrid Systems...”View full text
Electronic
eBook