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

Resource Information

The instance Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings, John Derrick [and others] (eds.) represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783642308840&Type=L

Label

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

Title remainder

third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Statement of responsibility

John Derrick [and others] (eds.)

Instantiates

• Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Publication

• Berlin | New York, Springer, ©2012

Antecedent source

unknown

Bibliography note

Includes bibliographical references and author index

Carrier category

online resource

Carrier category code

• cr

Carrier MARC source

rdacarrier

Color

multicolored

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

Control code

798652494

Dimensions

unknown

Extent

1 online resource (xv, 378 pages)

File format

unknown

Form of item

online

Isbn

9783642308840

Level of compression

unknown

Media category

computer

Media MARC source

rdamedia

Media type code

• c

Other control number

10.1007/978-3-642-30885-7

Other physical details

illustrations.

Quality assurance targets

not applicable

Record ID

.b130022329

Reformatting quality

unknown

Sound

unknown sound

Specific material designation

remote

System control number

(OCoLC)798652494