| Keynote Talks Formal Aids for the Growth of Software Systems Formal Methods and Testing: Hypotheses, and Correctness Approximations The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions Object Orientation Modular Verification of Static Class Invariants Decoupling in Object Orientation Controlling Object Allocation Using Creation Guards Symbolic Animation of JML Specifications Resource Analysis and Verification Certified Memory Usage Analysis Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs Formally Defining and Verifying Master/Slave Speculative Parallelization Timing and Testing Systematic Implementation of Real-Time Models Timing Tolerances in Safety-Critical SoRware Timed Testing with TorX Automatic Verification and Conformance 'Testing for Validating Safety Properties of Reactive Systems CSP, B and Circus Adding Conflict and Confusion to CSP Combining CSP and B for Specification and Property Verification Operational Semantics for Model Checking Circus Control Law Diagrams in Circus Security Verification of a Signature Architecture with HOL-Z End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform Formal Verification of Security Properties of Smart Card Embedded Source Code Networks and Processes Abstraction,Retrencchment and Rewiting Model Checking Industry Day:Abstracts of Invited Talks Author Index |
内容加载中，请稍后...
商品评论（0条）