Local abstraction–refinement for the μ-calculus Harald FecherSharon Shoham Regular Paper 20 May 2011 Pages: 289 - 306
Path-oriented bounded reachability analysis of composed linear hybrid systems Lei BuXuandong Li Regular Paper 18 June 2010 Pages: 307 - 317
Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking Roberto SebastianiStefano TonettaMoshe Y. Vardi Regular Paper 16 September 2010 Pages: 319 - 335
ToolDAy: a tool for domain analysis Liana Barachisio LisboaVinicius Cardoso GarciaSilvio Romero de Lemos Meira Regular Paper 29 September 2010 Pages: 337 - 353
Formally based tool support for model checking Erlang applications Qiang GuoJohn Derrick Regular Paper 02 November 2010 Pages: 355 - 376
Recovery oriented programming: runtime monitoring of safety and liveness Olga BrukmanShlomi Dolev Regular Paper 15 May 2011 Pages: 377 - 395