Issues to be considered on obtaining plant models for formal verification purposes

The development of dependable software for mechatronic systems can be a very complex and hard task. For facilitating the obtaining of dependable software for industrial controllers, some powerful software tools and analysis techniques can be used. Mainly, when using simulation and formal verificatio...

Full description

Bibliographic Details
Main Author: Pacheco, R. (author)
Other Authors: Gonzalez, L. (author), Intriago, M. (author), Machado, José (author), Prisacaru, G. (author), Olaru, D. (author)
Format: conferencePaper
Language:eng
Published: 2016
Subjects:
Science & Technology
Online Access:http://hdl.handle.net/1822/53632
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/53632

Internet

http://hdl.handle.net/1822/53632

Similar Items