Amanote Research
Register
Sign In
A Case Study in Integrating Formal Verification Tools Using the OMDoc Standard for Mathematical Documents
doi 10.22215/etd/2004-06001
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Xiao Jin
Publisher
Carleton University
Related search
Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools
Technological or Tradicional Tools for Documents' Corrections? A Case Study in Higher Education
Journal of Technology and Science Education
Computer Science Applications
Education
Formal Proofs of Code Generation and Verification Tools
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification
Communications in Computer and Information Science
Mathematics
Computer Science
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
Formal Development for Railway Signaling Using Commercial Tools
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Study on Formal Verification of OS Kernel
International Journal of Wireless and Microwave Technologies
Improving Reliability of Myocontrol Using Formal Verification
IEEE Transactions on Neural Systems and Rehabilitation Engineering
Internal Medicine
Medicine
Computer Science Applications
Biomedical Engineering
Neuroscience
The Role of HCI in CASE Tools Supporting Formal Methods