swMATH11715MaRDI QIDQ23655FDOQ23655
Author name not available (Why is that?)
Official website: http://www.specware.org/doc.html
Cited In (31)
- Building reliable, high-performance networks with the Nuprl proof development system
- Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design
- Detecting equivalence of modular specifications with categorical diagrams
- Title not available (Why is that?)
- Structured theories and institutions
- Diagram combinators in MMT
- Category-theoretic approach to software systems design
- Using formal methods with SysML in aerospace design and engineering
- Certifying optimality of state estimation programs.
- Title not available (Why is that?)
- Industrial applications of software synthesis via category theory -- case studies using specware
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions
- SysML
- Kit
- DTRE
- EROS
- TAME
- AutoFilter
- Title not available (Why is that?)
- Theorem Proving in Higher Order Logics
- Category localization semantics for specification refinements
- Operating system verification---an overview
- Episodic memory: a hierarchy of spatiotemporal concepts
- Applications of category theory to the area of algebraic specification in computer science
- Title not available (Why is that?)
- Systems analysis of life cycle of large-scale information-control systems
- Composition by Colimit and Formal Software Development
- Defining effectiveness using finite sets. A study on computability
This page was built for software: Specware
