scientific article; zbMATH DE number 1956491
From MaRDI portal
Publication:4417835
zbMATH Open1032.68102MaRDI QIDQ4417835FDOQ4417835
Authors: Marcin Kubica 
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2621/26210231.htm
Title of this publication is not available (Why is that?)
Recommendations
- Automatically verifying temporal properties of pointer programs with cyclic proof
- Pointer logic for verification of pointer programs
- scientific article; zbMATH DE number 4035111
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- scientific article; zbMATH DE number 4028879
Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (8)
- Towards pointer algebra
- Calculating with pointers
- Automatically verifying temporal properties of pointer programs with cyclic proof
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Compositional Reasoning for Pointer Structures
- Computer Aided Verification
- A Logic-Based Framework for Reasoning about Composite Data Structures
- A local-time-induced unique pointer basis
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417835)
