Verifying total correctness of graph programs

Verifying total correctness of graph programs

GP 2 is an experimental nondeterministic programming language based on graph transformation rules, allowing for visual programming and the solving of graph problems at a high-level of abstraction. In previous work we demonstrated how to verify graph programs using a Hoare-style proof calculus, but o...

Saved in:

書目詳細資料
Main Authors:	POSKITT, Christopher M., PLUMP, Detlef
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2012
主題:	Graph theory Graph programs Hoare logic Termination Total correctness Verification Theory and Algorithms
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/4916 https://ink.library.smu.edu.sg/context/sis_research/article/5919/viewcontent/PoskittPlump.GCM_ECEASST.2013.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Singapore Management University
語言:	English

相似書籍

Verifying monadic second-order properties of graph programs
由: POSKITT, Christopher M., et al.
出版: (2014)

A Hoare calculus for graph programs
由: POSKITT, Christopher M., et al.
出版: (2010)

Enhancing Total Correctness Proofs in Program Verification
由: LE TON CHANH
出版: (2015)

Verification of graph programs
由: POSKITT, Christopher M.
出版: (2012)

Monadic second-order incorrectness logic for GP 2
由: POSKITT, Christopher M., et al.
出版: (2023)

On graceful graphs
由: Paculba, Marianne S., et al.
出版: (1998)

FORMAL VERIFICATION-BASED PROGRAM REPAIR
由: NGUYEN THANH TOAN
出版: (2022)

MECHANIZED VERIFICATION OF GRAPH-MANIPULATING PROGRAMS
由: WANG SHENGYI
出版: (2020)

On labelling harmonious graphs
由: Fabros, Roland R., et al.
出版: (1998)

Hoare logic for graph programs
由: POSKITT, Christopher M., et al.
出版: (2010)

Minimum 2-clique and 3-clique partitions of simple connected graphs
由: Alto, Washington Lee
出版: (1992)

On the fold thickness of some classes of graphs
由: Campena, Francis Joseph H.
出版: (2006)

On k-walks in bridgeless graphs
由: Cu, Gordon Lester T.
出版: (2008)

On the vector space of a-like matrices for tadpole graphs
由: Gillesania, Chester James Kent I., et al.
出版: (2016)

On total and entire weightings of plane graphs and some special classes of graphs
由: Ilagan, Mark Francis M., et al.
出版: (2016)

On oriented trails in a class of graphs (with computer program)
由: Arnaez, Ma. Cristina K., et al.
出版: (1994)

On biconnected graphs
由: Gonzaga, Alex C.
出版: (1995)

On applications of the retracing method for distance-regular graphs
由: Vencer, Norma Luz C.
出版: (2006)

An exposition on Eulerian irregularity in graphs
由: Cheng, Janelle C., et al.
出版: (2015)

On a note on Hamilton graphs
由: Balisi, Richard Angelo, et al.
出版: (2008)

Notions of domination for some classses of graphs
由: Castaneda, Adrian Timothy S., et al.
出版: (2015)

STATIC VERIFICATION AND DYNAMIC ANALYSIS FRAMEWORK FOR INFORMATION FLOW CONTROL
由: ADI YOGA SIDI PRABAWA
出版: (2019)

Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms
由: Mohan, Anshuman, et al.
出版: (2022)

Perfect graphs
由: Lim, Yvette F.
出版: (1995)

Design and optimization of a road system based on total cost
由: Padua, Jennifer H., et al.
出版: (1997)

On the asymptotic spectral distribution of Cartesian powers of line graphs of complete graph
由: David, Monica Carlita G., et al.
出版: (2018)

On the asymptotic spectral distribution of Cartesian powers of line graphs of complete graphs
由: David, Monica Carlita G., et al.
出版: (2018)

Subdivision number of large complete graphs and large complete multipartite graphs
由: Gervacio, Severino V.
出版: (2005)

An application of graph theory and integer programming: Chessboard non-attacking puzzles
由: Dela Merced, Cherie P., et al.
出版: (1991)

On the fold thickness of graphs
由: Campeña, Francis Joseph H., et al.
出版: (2020)

On the bandwidth of tower graphs
由: Garcia, Mark Anthony A.
出版: (2007)

Graph-theoretic approach to network analysis
由: Yu, Margarita S.
出版: (1977)

Resistance distance in some composition of graphs
由: Lubguban, Alona A.
出版: (2014)

On some digraphs arising from congruences and some properties of the Zero-Divisor Graph of the ring Zn
由: Pua, Steven, et al.
出版: (2010)

The D-weight of a graph
由: Lapus, Raymond R.
出版: (2007)

On the square of an oriented graph conjecture
由: Campena, Francis Joseph H., et al.
出版: (2016)

The bandwidth of the tower graph Tm,n
由: Lim, Yvette F., et al.
出版: (2009)

L(2, 1)-labeling of some special graphs
由: Juan, Jeremiah P., et al.
出版: (2007)

Exploring & exploiting high-order graph structure for sparse knowledge graph completion
由: HE, Tao, et al.
出版: (2025)

The bandwidth of the tower graph Tm,2k
由: Lim, Yvette F., et al.
出版: (2008)