Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Siegler, Simon (Editor ), Wasser, Nathan (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Lecture Notes in Artificial Intelligence, 6463
Temas:
Software engineering.
Computer networks .
Computer science.
Artificial intelligence.
Machine theory.
Software Engineering.
Computer Communication Networks.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Programming Inductive Proofs
  • Termination Graphs for Java Bytecode
  • Specifying and Verifying Organizational Security Properties in First-Order Logic
  • Change Management for Heterogeneous Development Graphs
  • The VATES-Diamond as a Verifier's Best Friend
  • Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery
  • Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)
  • Second-Order Programs with Preconditions.

Ejemplares similares