Loading...
Please wait, while we are loading the content...
Similar Documents
Verification of Automated Systems Using Invariants
| Content Provider | Semantic Scholar |
|---|---|
| Author | Salmon, Arianna Z. Olivera Foyo, Pedro M. Gonzalez Del Silva, Rosen Moraes, Mello |
| Copyright Year | 2014 |
| Abstract | Nowadays, Petri net and this extensions has been used for modeling and verication of complex systems, used as a sound description language. Algorithms derived from this modeling framework can facilitate the analysis and verication of properties. Methods of verication based in invariants are among the most computacionally ecient and allow the verication of other important properties. This work proposes the use of invariants for the verication of desirable properties for an automatic system in the early design phase. Therefore invariants are used to validate requirements assuming they are elicited using UML Diagrams and modeled also in Petri Nets. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |