{"product_id":"9783540766483","title":"Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Florida, Proceedings (Lecture Notes in Computer Science) \u003cVol. 4789\u003e","description":"\u003cp\u003e§15§ §04§Invited Talks.- A System Development Process with Event-B and the Rodin Platform.- Challenges in Software Certification.- Security and Knowledge.- Integrating Formal Methods with System Management.- Formal Engineering of XACML Access Control Policies in VDM++.- A Verification Framework for Agent Knowledge.- Embedded Systems.- From Model-Based Design to Formal Verification of Adaptive Embedded Systems.- Machine-Assisted Proof Support for Validation Beyond Simulink.- VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System.- Testing.- Integrating Specification-Based Review and Testing for Detecting Errors in Programs.- Testing for Refinement in CSP.- Reducing Test Sequence Length Using Invertible Sequences.- Automated Analysis.- Model Checking with SAT-Based Characterization of ACTL Formulas.- Automating Refinement Checking in Probabilistic System Design.- Model Checking in Practice: Analysis of Generic Bootloader Using SPIN.- Model Checking Proposi §04§tional Projection Temporal Logic Based on SPIN.- Hardware.- A Denotational Semantics for Handel-C Hardware Compilation.- Automatic Generation of Verified Concurrent Hardware.- Modeling and Verification of Master\/Slave Clock Synchronization Using Hybrid Automata and Model-Checking.- Concurrency.- Efficient Symbolic Execution of Large Quantifications in a Process Algebra.- Formalizing SANE Virtual Processor in Thread Algebra.- Calculating and Composing Progress Properties in Terms of the Leads-to Relation.- Erratum.- Erratum to: Challenges in Software Certification.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":42567772504139,"sku":"00000_00000_00000_00000","price":1960.57,"currency_code":"THB","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0641\/0023\/7387\/files\/9783540766483-1.jpg?v=1783506767","url":"https:\/\/kinokuniya.co.th\/th\/products\/9783540766483","provider":"Books Kinokuniya Thailand","version":"1.0","type":"link"}