Skip to main content
SpringerLink
Log in

Theoretical Aspects of Computing

7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

  • Conference proceedings
  • © 2010

Access provided by Autonomous University of Puebla

Download book PDF

Overview

Editors:
  1. Ana Cavalcanti

    1. Department of Computer Science, University of York, York, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. David Deharbe

    1. Departamento de Informática e Matemática Aplicaty, Universidade Federal do Rio Grande do Norte, Lagoa Nova, Natal-RN, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Marie-Claude Gaudel

    1. Université de Paris-Sud, LRI, Orsay cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Jim Woodcock

    1. Department of Computer Science, University of York, York, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up to date results
  • Fast conference prceedings
  • State-of-the-art report

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6255)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICTAC 2010.

Buy print copy

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Keywords

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers and Abstract

    1. Invariants and Well-Foundedness in Program Algebra

      • Ian J. Hayes
      Pages 1-14
      Download chapter PDF

    2. A Theory of Software Product Line Refinement

      • Paulo Borba, Leopoldo Teixeira, Rohit Gheyi
      Pages 15-43
      Download chapter PDF

    3. The TLA +  Proof System: Building a Heterogeneous Verification Platform

      • Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
      Pages 44-44
      Download chapter PDF

  4. Semantics

    1. Prioritized slotted-Circus

      • Paweł Gancarski, Andrew Butterfield
      Pages 91-105
      Download chapter PDF

    2. A Denotational Semantical Model for Orc Language

      • Qin Li, Huibiao Zhu, Jifeng He
      Pages 106-120
      Download chapter PDF

    3. An Extended cCSP with Stable Failures Semantics

      • Zhenbang Chen, Zhiming Liu
      Pages 121-136
      Download chapter PDF

    4. Preference and Non-deterministic Choice

      • Bill Stoddart, Frank Zeyda, Steve Dunne
      Pages 137-152
      Download chapter PDF

  5. Modelling

    1. Material Flow Abstraction of Manufacturing Systems

      • Jewgenij Botaschanjan, Benjamin Hummel
      Pages 153-167
      Download chapter PDF

    2. Specification and Verification of a MPI Implementation for a MP-SoC

      • Umberto Souza da Costa, Ivan Soares de Medeiros Júnior, Marcel Vinicius Medeiros Oliveira
      Pages 168-183
      Download chapter PDF

  6. Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software

    1. Testing of Abstract Components

      • Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil
      Pages 184-198
      Download chapter PDF

    2. Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform

      • Yunho Kim, Moonzoo Kim, Nam Dang
      Pages 199-213
      Download chapter PDF

    3. Analyzing a Formal Specification of Mondex Using Model Checking

      • Reng Zeng, Xudong He
      Pages 214-229
      Download chapter PDF

    4. Formal Modelling of Separation Kernel Components

      • Andrius Velykis, Leo Freitas
      Pages 230-244
      Download chapter PDF

    5. Mechanized Verification with Sharing

      • Gregory Malecha, Greg Morrisett
      Pages 245-259
      Download chapter PDF

    6. Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking

      • Ashish Darbari, Bernd Fischer, João Marques-Silva
      Pages 260-274
      Download chapter PDF

    7. Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements

      • Mariano M. Moscato, Carlos G. López Pombo, Marcelo F. Frias
      Pages 275-289
      Download chapter PDF
Back to top

Other volumes

  1. Theoretical Aspects of Computing – ICTAC 2010

Editors and Affiliations

  • Department of Computer Science, University of York, York, United Kingdom

    Ana Cavalcanti, Jim Woodcock

  • Departamento de Informática e Matemática Aplicaty, Universidade Federal do Rio Grande do Norte, Lagoa Nova, Natal-RN, Brazil

    David Deharbe

  • Université de Paris-Sud, LRI, Orsay cedex, France

    Marie-Claude Gaudel

Bibliographic Information

  • Book Title: Theoretical Aspects of Computing

  • Book Subtitle: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

  • Editors: Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-14808-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2010

  • Softcover ISBN: 978-3-642-14807-1Published: 11 August 2010

  • eBook ISBN: 978-3-642-14808-8Published: 21 August 2010

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 397

  • Number of Illustrations: 60 b/w illustrations

  • Topics: Theory of Computation, Computation by Abstract Devices

Publish with us

Policies and ethics

Back to top

Search

Navigation