Preference and Non-deterministic Choice

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. Cocktail September 2nd Invited Talk: Speaker: Wolfram Schulte. Testing and Verification of Concurrent Shared-memory Systems. Chair: Marie-Claude Gaudel Technical Session : Special track (1) Chair: Marie-Claude Gaudel/Jim Woodcock ‣Bilal Kanso, Marc Aiguier, 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. A Theory of Software Product Line Refinement. Chair: Jim Woodcock Technical Session: Special track (2) Chair: Marie-Claude Gaudel/Jim Woodcock ‣Andrius Velykis and Leo Freitas. Formal Modelling of Separation Kernel Components. ‣Gregory Mal...

• Type: Journal
• Year: 2010
• Where: ICTAC
• Authors: Bill Stoddart, Frank Zeyda, Steve Dunne
• Keywords: Applied Computing, Carlos Gustavo Lopez, ICTAC 2010, Lopez Pombo, Technical Session