LEADER 03812nam 2200577 450 001 996465994703316 005 20220504070232.0 010 $a3-540-73210-1 024 7 $a10.1007/978-3-540-73210-5 035 $a(CKB)1000000000490695 035 $a(SSID)ssj0000318346 035 $a(PQKBManifestationID)11226187 035 $a(PQKBTitleCode)TC0000318346 035 $a(PQKBWorkID)10310222 035 $a(PQKB)11049690 035 $a(DE-He213)978-3-540-73210-5 035 $a(MiAaPQ)EBC3063173 035 $a(MiAaPQ)EBC6705646 035 $a(Au-PeEL)EBL6705646 035 $a(PPN)123163153 035 $a(EXLCZ)991000000000490695 100 $a20220504d2007 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aIntegrated formal methods $e6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /$fJim Davies, Jeremy Gibbons (editors) 205 $a1st ed. 2007. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[2007] 210 4$dİ2007 215 $a1 online resource (IX, 662 p.) 225 1 $aLecture notes in computer science ;$v4591 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-73209-8 320 $aIncludes bibliographical references and index. 327 $aVerifying Temporal Properties of CommUnity Designs -- Precise Scenarios ? A Customer-Friendly Foundation for Formal Specifications -- Automated Verification of Security Policies in Mobile Code -- Slicing Concurrent Real-Time System Specifications for Verification -- Slotted-Circus -- Bug Hunting with False Negatives -- Behavioural Specifications from Class Models -- Inheriting Laws for Processes with States -- Probabilistic Timed Behavior Trees -- Guiding the Correction of Parameterized Specifications -- Proving Linearizability Via Non-atomic Refinement -- Lifting General Correctness into Partial Correctness is ok -- Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters -- Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks -- Finding State Solutions to Temporal Logic Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function -- UTP Semantics for Web Services -- Combining Mobility with State -- Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System -- Capturing Conflict and Confusion in CSP -- A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated Specifications for Verification -- Validating Z Specifications Using the ProB Animator and Model Checker -- Verification of Multi-agent Negotiations Using the Alloy Analyzer -- Integrated Static Analysis for Linux Device Driver Verification -- Integrating Verification, Testing, and Learning for Cryptographic Protocols -- Translating FSP into LOTOS and Networks of Automata -- Common Semantics for Use Cases and Task Models -- Unifying Theories of Objects -- Non-interference Properties for Data-Type Reduction of Communicating Systems -- Co-simulation of Distributed Embedded Real-Time Control Systems. 410 0$aLecture notes in computer science ;$v4591. 606 $aFormal methods (Computer science)$vCongresses 615 0$aFormal methods (Computer science) 676 $a004.0151 702 $aDavies$b Jim$f1964- 702 $aGibbons$b Jeremy$f1966- 712 12$aInternational Conference on Integrated Formal Methods 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465994703316 996 $aIntegrated Formal Methods$9772444 997 $aUNISA