Dissertation > Excellent graduate degree dissertation topics show

Model Checking Propositional Projection Temporal Logic Based on SPIN

Author: LiGen
Tutor: DuanZhenHua
School: Xi'an University of Electronic Science and Technology
Course: Computer Software and Theory
Keywords: Model Checking Temporal Logic Model checker SPIN
CLC: TP311.52
Type: Master's thesis
Year: 2008
Downloads: 57
Quote: 0
Read: Download Dissertation

Abstract


Currently , the software industry is facing the dual pressures of increasingly complex product features and the introduction of shorter product cycles . One of the main goals of software engineering is the increased complexity of the case can still construct accurate and reliable system . Formal methods in software development in order to achieve the above objectives , a wide range of applications , in particular model checking technology . In this paper, a propositional projection temporal logic based on SPIN model checker . In this method , the nature of the system is described with propositional projection temporal logic formula , this formula is then converted to its eternal non- assertion ; then the system model to characterize the Buchi automata ; Finally SPIN model checker , that the inspection system meets desired properties. To achieve this goal , the paper design and propositional projection temporal logic formula explained converter to propositional projection temporal logic formula is automatically converted the Promela form of permanent non- assertion . The converter will first be verified propositional projection temporal logic formula convert its regular - regular graph , then through regular graphs can be permanent non- assertion . The combination of the converter model checker SPIN , propositional projection temporal logic formulas to describe the nature of the system in SPIN to such propositional projection temporal logic - based model checking can be completed in SPIN .

Related Dissertations

  1. LSGM electrolyte thin films and electrochemical properties of,TM911.4
  2. The Research of QingFangLian Group "Haier Brothers" Brand Marketing Strategy,F274
  3. Salinomycin Granules Process Improvement,S859.79
  4. Magnetic field spin chain entanglement dynamics of particles in both,O413.1
  5. Research on the Methods for Detecting Mismatch of Web Services Based on Bounded Model Checking,TP311.52
  6. Research on a Secure E-Commerce Payment Protocol Based on Four Parties,TP393.08
  7. Prostate Cancer：Diagnostic Value of Arterial Spin Labeling with 3.0T MR,R737.25
  8. A typical three-dimensional laser-based radar target recognition technology research ground,TP391.41
  9. NMR logging sensor noise matching analysis and research,TP212
  10. High speed and high spin pseudo- satellite-guided bombs Control Technology,TJ301
  11. Ku-band high power microwave NiZn ferrite material properties and simulation applications,TM277
  12. High-power low-loss ferrite material phase shifter design and build the database,TM277
  13. Study and Engineering Application of Self-screwed Slip Casting Tube Bolt in Soft-rock Tunnel Support,U455.7
  14. The Study on the UAV Digital Remote Sensing & Survey System Integration and Images Data Processing,P237
  15. Schwinger-boson mean-field theory in the Heisenberg spin chain,O482.523
  16. The Spin-wave Excitations of the Collinear Antiferromagnetic Phase in Iron Pnictides,O469
  17. Tilt anisotropic magnetic multilayers ferromagnetic resonance theory,O482.534
  18. Experimental Study on the Air Flotation and Hydrocyclonic Separation of the Algae Removal for Ballast Water,X703
  19. Investigation on Light and Heat-induced Spin Transition Polystyrene (PS) Composites,TB332
  20. Preparation and properties of the anode load of the IT- SOFC electrolyte film,TM911.4
  21. Numerical Study of the Flow and Heat Transfer in the Rotating Cavity with the De-swirled System,V231

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Development
© 2012 www.DissertationTopic.Net  Mobile