Ausgabe 2/2014
Inhalt (9 Artikel)
Original Article
Discovery of invariants through automated theory formation
Maria Teresa Llano, Andrew Ireland, Alison Pease
Original Article
Derivation of concurrent programs by stepwise scheduling of Event-B models
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Original Article
Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application
Richard Banach, Huibiao Zhu, Wen Su, Runlei Huang
Original Article
Refinement-based verification of implementations of Stateflow charts
Alvaro Miyazawa, Ana Cavalcanti
Original Article
Relational concurrent refinement part III: traces, partial relations and automata
John Derrick, Eerke Boiten