Formal Aspects of Computing, Volume 21

Volume 21, Numbers 1-2, February 2009

• Eerke A. Boiten:
  Editorial. 1
  
• Marcel Oliveira, Ana Cavalcanti, Jim Woodcock:
  A UTP semantics for Circus. 3-32
  
• Bernhard K. Aichernig, Jifeng He:
  Mutation testing in UTP. 33-64
  
• Eerke A. Boiten, John Derrick, Gerhard Schellhorn:
  Relational concurrent refinement part II: Internal operations and outputs. 65-102
  
• Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu:
  Graph transformations for object-oriented refinement. 103-131
  
• Leo Freitas, Jim Woodcock:
  FDR Explorer. 133-154
  
• Graeme Smith, Kirsten Winter:
  Model checking action system refinements. 155-186
  
• Lindsay Groves, Robert Colvin:
  Trace-based derivation of a scalable lock-free stack algorithm. 187-223
  

Volume 21, Number 3, May 2009

• Paul Boca, Raymond Boute, David Duce, José Oliveira:
  Editorial. 225
  
• Ralph-Johan Back:
  Invariant based programming: basic approach and teaching experiences. 227-244
  
• Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle:
  Practice-oriented courses in formal methods using VDM⁺⁺. 245-257
  
• Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang:
  Tool support for learning Büchi automata and linear temporal logic. 259-275
  
• Wolfgang Schreiner:
  The RISC ProofNavigator: a proving assistant for program verification in the classroom. 277-291
  
• Ingo Feinerer, Gernot Salzer:
  A comparison of tools for teaching formal software verification. 293-301