Slotted-Circus

Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC. September 2nd Invited Talk: Speaker: Wolfram Schulte Chair: TBD Technical Session : Special track (1) Chair: Marie-Claude Gaudel/Jim Woodcock ‣Bilal Kanso, Marc AiguierR, Frédéric r and Assia Touil. Testing of Abstract Components. ‣Yunho Kim, Moonzoo Kim and Nam Dang. Scalable Distributed Concolic Testing: a Case Study on a Flash Storage Platform. ‣Reng Zeng and Xudong He. Analyzing a Formal Specification of Mondex using Model Checking. Invited Talk: Speaker: Paulo Borba Chair: TBD Technical Session: Special track (2) Chair: Marie-Claude Gaudel/Jim Woodcock ‣Andrius Velykis and Leo Freitas. Formal Modelling of Separation Kernel Components. ‣Gregory Malecha and Greg Morrisett. Mechanized Verification with Sharing. ‣Ashish Darbari, Bernd Fischer and Joao Marques-Silva. Industrial-Strength Cert...

• Type: Conference
• Year: 2007
• Where: IFM
• Authors: Andrew Butterfield, Adnan Sherif, Jim Woodcock
• Keywords: IFM 2007, Marie-Claude Gaudel/Jim Woodcock, TBD Technical Session, Technical Session