Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday / edited by Simon Siegler, Nathan Wasser

By:

Siegler, Simon [aut]

Contributor(s):

Wasser, Nathan [oth]

Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 6463Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: Online-Ressource (XI, 145p. 30 illus, digital)ISBN:

9783642171727

Subject(s): Genre/Form:

Konferenzschrift -- 2010 -- Darmstadt

Additional physical formats: 9783642171710 | Buchausg. u.d.T.: Verification, induction, termination analysis. Berlin : Springer, 2010. 143 S.DDC classification:

005.1
004
004

MSC: MSC: *68-06 | 68N30 | 00B30LOC classification:

QA76.758
QA76.62

DOI: DOI: 10.1007/978-3-642-17172-7Online resources:

Summary: 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.PPN: PPN: 1650328729Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB

Holdings ( 0 )

No physical items for this record

Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)