Formal Methods in System Design

1	--	31	Wan Fokkink, Jun Pang, Jaco van de Pol. Cones and foci: A mechanical framework for protocol verification
33	--	78	Marta Z. Kwiatkowska, Gethin J. Norman, David Parker, Jeremy Sproston. Performance analysis of probabilistic timed automata using digital clocks
79	--	95	Nicolas Halbwachs, David Merchat, Laure Gonnord. Some ways to reduce the space dimension in polyhedra computations
97	--	114	Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani. On using priced timed automata to achieve optimal scheduling

External Links