Adobe PDF
(343.33 kB)
| Title Details: | |
|
Applications: algebraic specifications |
|
| Authors: |
Stefaneas, Petros Koletsos, Georgios |
| Reviewer: |
Dimitrakopoulos, Konstantinos |
| Description: | |
| Abstract: |
Introduction. Formal Methods and algebraic specifications. The OBJ family of languages. Overview of specifications in CafeOBJ. Modules, Sorts, Operators, Terms. Reduction. Conditional equations. Commands. Proofs as Proof Scores. Parametrized modules. Proofs by induction. Verification of properties. Correctness. Behavioral specifications. Observational Transition Systems (OTS). Invariant properties. Proofs. Fundamental techniques for specification and verification. Examples.
|
| Linguistic Editors: |
Lampada, Despoina |
| Technical Editors: |
Ksystra, Aikaterini |
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-nd/3.0/gr |
| Handle | http://hdl.handle.net/11419/4531 |
| Bibliographic Reference: | Stefaneas, P., & Koletsos, G. (2015). Applications: algebraic specifications [Chapter]. In Stefaneas, P., & Koletsos, G. 2015. Applications of logic in computer science [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/4531 |
| Language: |
Greek |
| Is Part of: |
Applications of logic in computer science |
| Publication Origin: |
Kallipos, Open Academic Editions |