Specification and verification of network algorithms using temporal logic
In software engineering, formal methods are mathematical-based techniques that are used in the specification, development and verification of algorithms and programs in order to provide reliability and robustness of systems. One of the most difficult challenges for software engineering is to tackle...
Saved in:
Main Author: | |
---|---|
Format: | Default Thesis |
Published: |
2018
|
Subjects: | |
Online Access: | https://dx.doi.org/10.26174/thesis.lboro.8138030.v1 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|