Lightweight specification and analysis of dynamic systems with rich configurations

Model-checking is increasingly popular in the early phases of the software development process. To establish the correctness of a software design one must usually verify both structural and behavioral(or temporal) properties. Unfortunately, most specification languages, and accompanying model-checke...

Full description

Bibliographic Details
Main Author: Macedo, Nuno (author)
Other Authors: Brunel, Julien (author), Chemouil, David (author), Cunha, Alcino (author), Kuperberg, Denis (author)
Format: conferencePaper
Language:eng
Published: 2016
Subjects:
Model-checking
Formal specification language
Science & Technology
Online Access:http://hdl.handle.net/1822/51444
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/51444

Internet

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

Similar Items