IEEE - Institute of Electrical and Electronics Engineers, Inc. - Formal Derivation of the Knapsack Problem with PAR Method

2009 International Conference on Wireless Networks and Information Systems (WNIS)

Author(s): Lingyu Sun ; Ming Leng
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2009
Conference Location: Shanghai, China, China
Conference Date: 28 December 2009
Page(s): 11 - 14
ISBN (Electronic): 978-1-4244-5400-6
ISBN (Paper): 978-0-7695-3901-0
DOI: 10.1109/WNIS.2009.8
Regular:

Partition-and-Recur (PAR) method is a simple and useful formal method used to design and prove algorithmic programs. In this paper, we address that PAR method is really an effective formal method... View More

Advertisement