FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
FME 2002 : formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.).
- Berlin ; New York : Springer, ©2002.
- 1 online resource (xi, 624 pages) : illustrations
- Lecture notes in computer science ; 2391 .
- Lecture notes in computer science ; 2391. .
Includes bibliographical references and index.
Little Engines of Proof -- Automated Boundary Testing from Z and B -- Improvements in Coverability Analysis -- Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study -- UniTesK Test Suite Architecture -- Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited -- Do Not Read This -- Safeness of Make-Based Incremental Recompilation -- An Algorithmic Approach to Design Exploration -- Mechanical Abstraction of CSP Z Processes -- Verifying Erlang Code: A Resource Locker Case-Study -- Towards an Integrated Model Checker for Railway Signalling Data -- Correctness by Construction: Integrating Formality into a Commercial Development Process -- VAlloy -- Virtual Functions Meet a Relational Language -- Verification Using Test Generation Techniques -- Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java -- Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods -- Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation -- Interference Analysis for Dependable Systems Using Refinement and Abstraction -- The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism -- Timing Analysis of Assembler Code Control-Flow Paths -- Towards OCL/RT -- On Combining Functional Verification and Performance Evaluation Using CADP -- The Next 700 Synthesis Calculi -- Synthesizing Certified Code -- Refinement in Circus -- Forward Simulation for Data Refinement of Classes -- A Formal Basis for a Program Compilation Proof Tool -- Property Dependent Abstraction of Control Structure for Software Verification -- Closing Open SDL-Systems for Model Checking with DTSpin -- A Generalised Sweep-Line Method for Safety Properties -- Supplementing a UML Development Process with B -- Semantic Web for Extending and Linking Formalisms -- A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels.
This book constitutes the refereed proceedings of the international symposium Formal Methods Europe, FME 2002, held in Copenhagen, Denmark, in July 2002. The 31 revised full papers presented together with three invited contributions were carefully reviewed and selected from 95 submissions. All current aspects of formal methods are addressed, from foundational and methodological issues to advanced application in various fields.
English.
9783540456148 3540456147 9788354045618 8354045617
10.1007/3-540-45614-7 doi (WaSeSS)ssj0000323186
GBA250854 bnb
009729161 Uk
Computer software--Development--Congresses.
Formal methods (Computer science)--Congresses.
System design--Mathematics--Congresses.
Méthodes formelles (Informatique)--Congrès.
Conception de systèmes--Mathématiques--Congrès.
Computer software--Development
Formal methods (Computer science)
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.76.D47 / I593 2002
005.1
Includes bibliographical references and index.
Little Engines of Proof -- Automated Boundary Testing from Z and B -- Improvements in Coverability Analysis -- Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study -- UniTesK Test Suite Architecture -- Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited -- Do Not Read This -- Safeness of Make-Based Incremental Recompilation -- An Algorithmic Approach to Design Exploration -- Mechanical Abstraction of CSP Z Processes -- Verifying Erlang Code: A Resource Locker Case-Study -- Towards an Integrated Model Checker for Railway Signalling Data -- Correctness by Construction: Integrating Formality into a Commercial Development Process -- VAlloy -- Virtual Functions Meet a Relational Language -- Verification Using Test Generation Techniques -- Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java -- Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods -- Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation -- Interference Analysis for Dependable Systems Using Refinement and Abstraction -- The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism -- Timing Analysis of Assembler Code Control-Flow Paths -- Towards OCL/RT -- On Combining Functional Verification and Performance Evaluation Using CADP -- The Next 700 Synthesis Calculi -- Synthesizing Certified Code -- Refinement in Circus -- Forward Simulation for Data Refinement of Classes -- A Formal Basis for a Program Compilation Proof Tool -- Property Dependent Abstraction of Control Structure for Software Verification -- Closing Open SDL-Systems for Model Checking with DTSpin -- A Generalised Sweep-Line Method for Safety Properties -- Supplementing a UML Development Process with B -- Semantic Web for Extending and Linking Formalisms -- A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels.
This book constitutes the refereed proceedings of the international symposium Formal Methods Europe, FME 2002, held in Copenhagen, Denmark, in July 2002. The 31 revised full papers presented together with three invited contributions were carefully reviewed and selected from 95 submissions. All current aspects of formal methods are addressed, from foundational and methodological issues to advanced application in various fields.
English.
9783540456148 3540456147 9788354045618 8354045617
10.1007/3-540-45614-7 doi (WaSeSS)ssj0000323186
GBA250854 bnb
009729161 Uk
Computer software--Development--Congresses.
Formal methods (Computer science)--Congresses.
System design--Mathematics--Congresses.
Méthodes formelles (Informatique)--Congrès.
Conception de systèmes--Mathématiques--Congrès.
Computer software--Development
Formal methods (Computer science)
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
QA76.76.D47 / I593 2002
005.1