Preface by the section editors Lenore ZuckPaul AttieAgostino Cortesi Special section on verification, model checking, and abstract interpretation 01 July 2004 Pages: 1 - 3
Behavior-based model construction Hardi HungarBernhard Steffen Special section on verification, model checking, and abstract interpretation 01 July 2004 Pages: 4 - 14
Certification of compiled assembly code by invariant translation Xavier Rival Special section on verification, model checking, and abstract interpretation 06 April 2004 Pages: 15 - 37
A logical encoding of the π-calculus: model checking mobile processes using tabled resolution Ping YangC.R. RamakrishnanScott A. Smolka Special section on verification, model checking, and abstract interpretation 06 April 2004 Pages: 38 - 66
Using simulated execution in verifying distributed algorithms Toh Ne WinMichael D. ErnstNancy A. Lynch Special section on verification, model checking, and abstract interpretation 06 April 2004 Pages: 67 - 76
Efficient verification of timed automata with BDD-like data structures Farn Wang Special section on verification, model checking, and abstract interpretation 16 April 2004 Pages: 77 - 97