形式方法－获得完美信息技术 /Formal Methods
2002-12
Springer
Lars-Henrik Eriksson
625
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.
Little Engines of ProofAutomated Boundary Testing from Z and BImprovements in Coverability AnalysisHeuristic-Driven Test Case Selection from Formal Specifications. A Case StudyUniTesK Test Suite ArchitectureHoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods RevisitedDo Not Read ThisSafeness of Make-Based Increnlental RecompilationAn Algorithmic Approach to Design ExplorationMechanical Abstraction of CSPz ProcessesVerifying Erlang Code: A Resource Locker Case-StudyTowards an Integrated Model Checker for Railway Signalling DataCorrectness by Construction: Integrating Formality into a Commercial Development ProcessVAlloy - Virtual Functions Meet a Relational LanguageVerification Using Test Generation TechniquesFormal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/JavaDevelopment of an Embedded Verifier for Java Card Byte Code Using Formal MethodsDeriving Cryptographically Sound hnplementations Using Composition and Formally Verified BisimulationInterference Analysis for Dependable Systems Using Refinement and AbstractionThe Formal Classification and Verification of Sirnpson's 4-Slot Asynchronous Communication MechanismTiming Analysis of Assembler Code Control-Flow PathsTowards OCL/RTOn Combining FunctionM Verification and Performance Evaluation Using CADPThe Next 700 Synthesis CalculiSynthesizing Certified CodeRefinement in CircusForward Simulation for Data Refinement of ClassesA Formal Basis for a Program Compilation Proof Tool……
形式方法－获得完美信息技术 /Formal Methods PDF格式下载