Dissertation > Excellent graduate degree dissertation topics show
## Verification of ATM Fabric’s Behavior Using SPINAuthor: WuXiaoJunTutor: LiLian School: Lanzhou University Course: Computer Software and Theory Keywords: formal methods liveness property safety property SPIN Model Checker Promela language BDD ROBDD CLC: TN915.2 Type: Master's thesis Year: 2006 Downloads: 85 Quote: 0 Read: Download Dissertation ## Abstract
## Related Dissertations- Timed automata model - based verification techniques,TP301.1
- New Progress of Symbolic Simulator Applications on CMOS Analog Circuit Design Automation,TN432
- The Theory and Effect of Formal Method,B812
- A Formal Analysis Method and Its Application Based on UML Requirement Modeling,TP311.52
- Investigation of Electrochemical Biosensor Based on Boron-Doped Diamond and Newly Nanocomposites,TP212.3
- The Research of Test Generation Method for Combinational Circuits Based on Binary Decision Diagrams,TP391.7
- A Heuristic Algorithm for Model-Checking Based on Counter Example Finding,TP311.52
- Vertification of OSPF Protocol Based on Coloured Petri Net,TP301.6
- Research on Tool of Generating Test Cases Automatically from Model on Requirement,TP311.52
- Formal Modeling and Verification for Component-Based Model Integrated CNC Systems with IEC 61499 Standard,TP311.52
- Analysis and Research on Critical Non-functional Property of Safety-Critical Embedded Real-Time Software,TP368.1
- Research on Key Techniques for Software Transactional Memory Parallel Programming Environment,TP311.1
- Key Techniques of Trustworthiness Improvement on Hybird Arithmetic Addition of Floating-point Fused Multiply-add Unit,TP302.1
- A Study on Formally Modeling and Verifying the Composition of Web Services,TP393.09
- Model Oriented Composition Theory,TP311.52
- The Formal Modelling and Model Checking Research of Rail Transportation Train Control System,U284.48
- Slicing Execution for Verification of C Programs,TP312.1
- Detecting and Handling the Inconsistency in Viewpoints Requirement Engineering,TP311.52
- Analysis of Aspect-Oriented Technology and Its Application in the Development of Software for Large-Scale Embedded System,TP311.52
- Research on the Foundamentals of Compilation Correctness and Safety,TP314
- Synthetic Research on Imperfect Coverage, Phased-Mission Systems, and Static and Dynamic Fault Trees,TP18
CLC: > Industrial Technology > Radio electronics, telecommunications technology > Communicate > Communication network > ATM (asynchronous transfer mode ) network © 2012 www.DissertationTopic.Net Mobile |