Amanote Research
Register
Sign In
Testing Automation Systems by Means of Model Checking
doi 10.1109/etfa.2017.8247579
Full Text
Open PDF
Abstract
Available in
full text
Date
September 1, 2017
Authors
Igor Buzhinsky
Valeriy Vyatkin
Publisher
IEEE
Related search
A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems
Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain
International Journal of Embedded and Real-Time Communication Systems
Computer Science
Model Checking Implicit-Invocation Systems
Testing and Model-Checking Techniques for Diagnosis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Quantitative Model Checking of Systems With Degradation
Global Model-Checking of Infinite-State Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generalized Symbolic Execution for Model Checking and Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Comparison of Model Checking Tools for Information Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
