On Array Theory of Bounded Elements - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

On Array Theory of Bounded Elements

Min Zhou
  • Function : Author
  • PersonId : 872842
Bow-Yaw Wang
  • Function : Author
  • PersonId : 872810


We investigate a first-order array theory of bounded elements. By reducing to weak second-order logic with one successor (WS1S), we show that the proposed array theory is decidable. Finally, two natural extensions to the new theory are shown to be undecidable.
No file

Dates and versions

inria-00517943 , version 1 (16-09-2010)


  • HAL Id : inria-00517943 , version 1


Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu. On Array Theory of Bounded Elements. CAV 2010 - 22nd International Conference on Computer Aided Verification, Jul 2010, Edinburgh, United Kingdom. ⟨inria-00517943⟩
330 View
0 Download


Gmail Facebook X LinkedIn More