CoFI
From MaRDI portal
Software:14336
No author found.
Related Items (39)
CASL reference manual. The complete documentation of the common algebraic specification language. ⋮ A formally grounded software specification method ⋮ Generation of abstract programming interfaces from syntax definitions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Using La\TeX\ as a semantic markup format ⋮ Proof systems for structured algebraic specifications: An overview ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Generalized interpolation in CASL ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. ⋮ Mechanizing Mathematical Reasoning ⋮ Mechanizing Mathematical Reasoning ⋮ Unnamed Item ⋮ A Maude environment for CafeOBJ ⋮ Unnamed Item ⋮ HasCasl: integrated higher-order specification and program development ⋮ CASL: the Common Algebraic Specification Language. ⋮ Logical systems for structured specifications. ⋮ Relating CASL with other specification languages: the institution level. ⋮ Pinnacles of software engineering: 25 years of formal methods ⋮ Verifying Concurrent Systems with Symbolic Execution ⋮ Unnamed Item
This page was built for software: CoFI