swMATH1631MaRDI QIDQ14336FDOQ14336
Author name not available (Why is that?)
Official website: http://www.csl.sri.com/users/mosses/CoFI/
Cited In (51)
- Generation of abstract programming interfaces from syntax definitions
- Pinnacles of software engineering: 25 years of formal methods
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proof systems for structured algebraic specifications: An overview
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- Verifying Concurrent Systems with Symbolic Execution
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logical systems for structured specifications.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Generalized interpolation in CASL
- Title not available (Why is that?)
- Title not available (Why is that?)
- CASL: the Common Algebraic Specification Language.
- ASF+SDF parsing tools applied to ELAN
- A formally grounded software specification method
- Title not available (Why is that?)
- Title not available (Why is that?)
- CASL
- MAYA
- Mechanizing Mathematical Reasoning
- Title not available (Why is that?)
- UniForM
- ASF+SDF
- arXMLiv
- CafeInMaude
- Hermes
- 3TAP
- CITP
- CPoint
- keyval
- Castor
- Mechanizing Mathematical Reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- HasCasl: integrated higher-order specification and program development
- Using La\TeX\ as a semantic markup format
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relating CASL with other specification languages: the institution level.
- A Maude environment for CafeOBJ
- Title not available (Why is that?)
- Theorem proving in large theories
- CASL reference manual. The complete documentation of the common algebraic specification language.
This page was built for software: CoFI
