Hets
From MaRDI portal
Cited in
(only showing first 100 items - show all)- HasCasl: integrated higher-order specification and program development
- HasCasl
- CoFI
- CASL
- CCSL
- MAYA
- A formal proof generator from semi-formal proof documents
- foaf
- LAD
- The Verigraph system for graph transformation
- A computational framework for conceptual blending
- GtkMathView
- OBJ3
- jsMath
- CafeOBJ
- Atelier B
- MMT
- TNTBase
- NNexus
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- MathDox
- STEXIDE
- STEX+
- Semantics of multiway dataflow constraint systems
- Hybrid dynamic logic institutions for event/data-based systems
- Formulator MathML
- gaia
- Specifying with syntactic theory functors
- CRC 3
- MTT
- Dr.Doodle
- Institution-based encoding and verification of simple UML state machines in CASL/SPASS
- Diagram combinators in MMT
- Inspection and selection of representations
- CSP-prover
- Refinement in hybridised institutions
- The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema
- Automating change of representation for proofs in discrete mathematics (extended version)
- Specware
- Development graphs -- proof management for structured specifications
- Algebraic-coalgebraic specification in CoCASL
- PVSio-web
- OnTrack
- ModalCasl
- EPK-fix
- HTab
- CoCasl
- AgsyHOL
- HyLoTab
- Image schemas and conceptual blending in diagrammatic reasoning: the case of Hasse diagrams
- Model-driven engineering in the heterogeneous tool set
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
- The role of logical interpretations in program development
- The higher-order prover \textsc{Leo}-II
- Lambda expressions in Casl architectural specifications
- A proof theoretic interpretation of model theoretic hiding
- Towards logical frameworks in the heterogeneous tool set Hets
- Compositional modelling and reasoning in an institution for processes and data
- Change management for heterogeneous development graphs
- Integrating Maude into Hets
- K-Java
- Refinement trees: calculi, tools, and applications
- Hybrid specification of reactive systems: an institutional approach
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Speedith
- Openproof
- CafeInMaude
- LATIN
- Generalized Theoroidal Institution Comorphisms
- Property Preserving Refinement for Csp-Casl
- Heterogeneous Logical Environments for Distributed Specifications
- Automating Change of Representation for Proofs in Discrete Mathematics
- A Heterogeneous Approach to UML Semantics
- Verigraph
- eMoflon
- AGREE
- EMorF
- Dimensions of formality: a case study for MKM in software engineering
- Towards MKM in the large: modular representation and scalable software architecture
- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
- Reasoning Support for Casl with Automated Theorem Proving Systems
- Bootstrapping Types and Cotypes in HasCASL
- Bootstrapping Inductive and Coinductive Types in HasCASL
- CITP
- A scalable module system
- Vickrey_Clarke_Groves
- Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
- Building Specifications in the Event-B Institution
- CiMPA
- CiMPG
- Adimen-SUMO
- CSP-CASL-Prover: a generic tool for process and data refinement
- Amulet
- A foundational view on integration problems
- Project abstract: logic atlas and integrator (LATIN)
- A Maude environment for CafeOBJ
- scientific article; zbMATH DE number 7178360 (Why is no real title available?)
- An institution for Object-Z with inheritance and polymorphism
- Institutions for OCL-like expression languages
- Towards an institutional framework for heterogeneous formal development in UML -- a position paper
This page was built for software: Hets
