Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
verification programming » specification programming, identification programming, verification program
integrated verification » integration verification, integrating verification, integrated specification
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
constraint https » constraint atoms, constraint graphs, constraint codes
verification programming » specification programming, identification programming, verification program
integrated verification » integration verification, integrating verification, integrated specification
programming programming » programming programmed, programming program
programming constraint » programming constrained, programming unconstrained, programming constructs
constraint https » constraint atoms, constraint graphs, constraint codes
1
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
2
Published 2012
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... for Safety Verification and Testing of Aspect-Oriented Systems -- Model-Based Testing of Thin-Client Web...”View full text
Electronic
eBook
10
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... Protocol in the Timed OTS/CafeOBJ Method.- Formal Specification and Verification of Task Time Constraints...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“...-Library for C++ -- Constraint Solving for Sequences in Software Validation and Verification -- Using a...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... -- Integrating Software and Hardware Verification -- Code Generation for Event-B -- Verifying Linearizability...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”View full text
Electronic
eBook
16
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Published 2006
Table of Contents:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”View full text
Electronic
eBook
18
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”View full text
Electronic
eBook
19
Table of Contents:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
View full text
View full text
Electronic
eBook
20