The Resource Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, John Derrick...[et al.] (eds.), (electronic resource)

Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, John Derrick...[et al.] (eds.), (electronic resource)

Label
Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Title
Abstract state machines, Alloy, B, VDM, and Z
Title remainder
third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Statement of responsibility
John Derrick...[et al.] (eds.)
Title variation
ABZ 2012
Creator
Contributor
Provider
Subject
Genre
Language
eng
Summary
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems
Member of
Cataloging source
GW5XE
Image bit depth
0
LC call number
Q325.5
LC item number
.A29 2012
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2012
http://bibfra.me/vocab/lite/meetingName
ABZ (Conference)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
1963-
http://library.link/vocab/relatedWorkOrContributorName
  • SpringerLink
  • Derrick, John
Series statement
Lecture Notes in Computer Science,
Series volume
7316
http://library.link/vocab/subjectName
  • Machine learning
  • Formal methods (Computer science)
  • Formal methods (Computer science)
  • Artificial Intelligence
  • Machine learning
  • Informatique
Label
Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, John Derrick...[et al.] (eds.), (electronic resource)
Instantiates
Publication
Note
International conference proceedings
Antecedent source
mixed
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Continuous ASM, and a Pacemaker Sensing Fragment
  • Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu
  • An ASM Model of Concurrency in a Web Browser
  • Vincenzo Gervasi
  • Modeling the Supervisory Control Theory with Alloy
  • Benoît Fraikin, Marc Frappier and Richard St-Denis
  • Preventing Arithmetic Overflows in Alloy
  • Aleksandar Milicevic and Daniel Jackson
  • Extending Alloy with Partial Instances
  • Vajih Montaghami and Derek Rayside
  • Contribution to a Rigorous Analysis of Web Application Frameworks
  • Toward a More Complete Alloy
  • Timothy Nelson, Daniel J. Dougherty, Kathi Fisler and Shriram Krishnamurthi
  • Temporal Logic Model Checking in Alloy
  • Amirhossein Vakili and Nancy A. Day
  • Active Attacking Multicast Key Management Protocol Using Alloy
  • Ting Wang and Dongyao Ji
  • Formalizing Hybrid Systems with Event-B
  • Jean-Raymond Abrial, Wen Su and Huibiao Zhu
  • SMT Solvers for Rodin
  • David Déharbe, Pascal Fontaine, Yoann Guyot and Laurent Voisin
  • Egon Börger, Antonio Cisternino and Vincenzo Gervasi
  • Refinement Plans for Informed Formal Design
  • Gudmund Grov, Andrew Ireland and Maria Teresa Llano
  • Refinement by Interface Instantiation
  • Stefan Hallerstede and Thai Son Hoang
  • Discharging Proof Obligations from Atelier B Using Multiple Automated Provers
  • David Mentré, Claude Marché, Jean-Christophe Filliâtre and Masashi Asuka
  • A Semantic Analysis of Logics That Cope with Partial Terms
  • Cliff B. Jones, Matthew J. Lovert and L. Jason Steggles
  • Combining VDM with Executable Code
  • Claus Ballegaard Nielsen, Kenneth Lausdahl and Peter Gorm Larsen
  • Integrated Operational Semantics: Small-Step, Big-Step and Multi-step
  • Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions
  • Maximiliano Cristiá and Claudia Frydman
  • A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams
  • Chris Marriott, Frank Zeyda and Ana Cavalcanti
  • Verification of Hardware Interaction Properties of Software
  • Ramsay Taylor
  • Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System
  • Matthes Elstermann, Detlef Seese and Albert Fleischmann
  • A Unified Processor Model for Compiler Verification and Simulation Using ASM
  • Roland Lezuo and Andreas Krall
  • Ian J. Hayes and Robert J. Colvin
  • Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs
  • Andrea Luzzana, Mattia Rossetti, Paolo Righettini and Patrizia Scandurra
  • A Reliability Prediction Method for Abstract State Machines
  • Raffaela Mirandola, Pasqualina Potena and Patrizia Scandurra
  • A Simplified Parallel ASM Thesis
  • Klaus-Dieter Schewe and Qing Wang
  • Refactoring Abstract State Machine Models
  • Hamed Yaghoubi Shahir, Roozbeh Farahbod and Uwe Glässer
  • Continuous Behaviour in Event-B: A Sketch
  • Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu
  • Test Generation for Sequential Nets of Abstract State Machines
  • Formal Verification of PLC Programs Using the B Method
  • Haniel Barbosa and David Déharbe
  • A Practical Event-B Refinement Method Based on a UML-Driven Development Process
  • Thiago C. de Sousa, Paulo Sérgio Muniz Silva and Colin F. Snook
  • Learn and Test for Event-B - A Rodin Plugin
  • Ionut Dinca, Florentin Ipate, Laurentiu Mierla and Alin Stefanescu
  • Event-B Code Generation: Type Extension with Theories
  • Andrew Edmunds, Michael Butler, Issam Maamria, Renato Silva and Chris Lovell
  • Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project
  • Denis Sabatier, Lilian Burdy, Antoine Requet and Jérôme Guéry
  • Paolo Arcaini, Francesco Bolis and Angelo Gargantini
  • A Pattern for Modelling Fault Tolerant Systems in Event-B
  • Gintautas Sulskus and Michael Poppleton
  • ASM and Controller Synthesis
  • Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu
Dimensions
unknown
Extent
1 online resource (xv, 378 p.)
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642308840
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-30885-7
Other physical details
ill.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (OCoLC)798652494
  • (OCoLC)ocn798652494
Label
Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, John Derrick...[et al.] (eds.), (electronic resource)
Publication
Note
International conference proceedings
Antecedent source
mixed
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Continuous ASM, and a Pacemaker Sensing Fragment
  • Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu
  • An ASM Model of Concurrency in a Web Browser
  • Vincenzo Gervasi
  • Modeling the Supervisory Control Theory with Alloy
  • Benoît Fraikin, Marc Frappier and Richard St-Denis
  • Preventing Arithmetic Overflows in Alloy
  • Aleksandar Milicevic and Daniel Jackson
  • Extending Alloy with Partial Instances
  • Vajih Montaghami and Derek Rayside
  • Contribution to a Rigorous Analysis of Web Application Frameworks
  • Toward a More Complete Alloy
  • Timothy Nelson, Daniel J. Dougherty, Kathi Fisler and Shriram Krishnamurthi
  • Temporal Logic Model Checking in Alloy
  • Amirhossein Vakili and Nancy A. Day
  • Active Attacking Multicast Key Management Protocol Using Alloy
  • Ting Wang and Dongyao Ji
  • Formalizing Hybrid Systems with Event-B
  • Jean-Raymond Abrial, Wen Su and Huibiao Zhu
  • SMT Solvers for Rodin
  • David Déharbe, Pascal Fontaine, Yoann Guyot and Laurent Voisin
  • Egon Börger, Antonio Cisternino and Vincenzo Gervasi
  • Refinement Plans for Informed Formal Design
  • Gudmund Grov, Andrew Ireland and Maria Teresa Llano
  • Refinement by Interface Instantiation
  • Stefan Hallerstede and Thai Son Hoang
  • Discharging Proof Obligations from Atelier B Using Multiple Automated Provers
  • David Mentré, Claude Marché, Jean-Christophe Filliâtre and Masashi Asuka
  • A Semantic Analysis of Logics That Cope with Partial Terms
  • Cliff B. Jones, Matthew J. Lovert and L. Jason Steggles
  • Combining VDM with Executable Code
  • Claus Ballegaard Nielsen, Kenneth Lausdahl and Peter Gorm Larsen
  • Integrated Operational Semantics: Small-Step, Big-Step and Multi-step
  • Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions
  • Maximiliano Cristiá and Claudia Frydman
  • A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams
  • Chris Marriott, Frank Zeyda and Ana Cavalcanti
  • Verification of Hardware Interaction Properties of Software
  • Ramsay Taylor
  • Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System
  • Matthes Elstermann, Detlef Seese and Albert Fleischmann
  • A Unified Processor Model for Compiler Verification and Simulation Using ASM
  • Roland Lezuo and Andreas Krall
  • Ian J. Hayes and Robert J. Colvin
  • Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs
  • Andrea Luzzana, Mattia Rossetti, Paolo Righettini and Patrizia Scandurra
  • A Reliability Prediction Method for Abstract State Machines
  • Raffaela Mirandola, Pasqualina Potena and Patrizia Scandurra
  • A Simplified Parallel ASM Thesis
  • Klaus-Dieter Schewe and Qing Wang
  • Refactoring Abstract State Machine Models
  • Hamed Yaghoubi Shahir, Roozbeh Farahbod and Uwe Glässer
  • Continuous Behaviour in Event-B: A Sketch
  • Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu
  • Test Generation for Sequential Nets of Abstract State Machines
  • Formal Verification of PLC Programs Using the B Method
  • Haniel Barbosa and David Déharbe
  • A Practical Event-B Refinement Method Based on a UML-Driven Development Process
  • Thiago C. de Sousa, Paulo Sérgio Muniz Silva and Colin F. Snook
  • Learn and Test for Event-B - A Rodin Plugin
  • Ionut Dinca, Florentin Ipate, Laurentiu Mierla and Alin Stefanescu
  • Event-B Code Generation: Type Extension with Theories
  • Andrew Edmunds, Michael Butler, Issam Maamria, Renato Silva and Chris Lovell
  • Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project
  • Denis Sabatier, Lilian Burdy, Antoine Requet and Jérôme Guéry
  • Paolo Arcaini, Francesco Bolis and Angelo Gargantini
  • A Pattern for Modelling Fault Tolerant Systems in Event-B
  • Gintautas Sulskus and Michael Poppleton
  • ASM and Controller Synthesis
  • Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu
Dimensions
unknown
Extent
1 online resource (xv, 378 p.)
File format
multiple file formats
Form of item
  • online
  • electronic
Isbn
9783642308840
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-30885-7
Other physical details
ill.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
  • (OCoLC)798652494
  • (OCoLC)ocn798652494

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...