Loading...
Please wait, while we are loading the content...
Similar Documents
Verification of Integrated Specifications using PVS
| Content Provider | Semantic Scholar |
|---|---|
| Author | Salaün, Gwen Attiogbé, Christian Allemand, Michel |
| Copyright Year | 2003 |
| Abstract | Properties verification is one of the main topics of interest in formal methods. Indeed, it is essential to prove that specified systems respect some desired properties. Equivalence proofs are important to refine specifications into concrete implementations. In this report, we propose an encoding of an integrated specification language. This language integrates a CCS-like process algebra extended to manage algebraic terms written from datatype definitions. This encoding makes the specification and verification of nontrivial systems possible. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.sciences.univ-nantes.fr/info/perso/permanents/salaun/papers/verif_ifm_with_pvs.ps |
| Alternate Webpage(s) | http://lina.atlanstic.net/documents/RR_pdfs/RR-IRIN-0302.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |