Hets
From MaRDI portal
swMATH7017MaRDI QIDQ19080FDOQ19080
Author name not available (Why is that?)
Official website: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm
Cited In (only showing first 100 items - show all)
- A scalable module system
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory
- Representing model theory in a type-theoretical logical framework
- Parchments for CafeOBJ logics
- Automating Change of Representation for Proofs in Discrete Mathematics
- A Heterogeneous Approach to UML Semantics
- The higher-order prover \textsc{Leo}-II
- A computational framework for conceptual blending
- Foundations of algebraic specification and formal software development.
- Towards MKM in the large: modular representation and scalable software architecture
- A foundational view on integration problems
- A proof theoretic interpretation of model theoretic hiding
- Towards logical frameworks in the heterogeneous tool set Hets
- CoFI with Don Sannella
- Partial pushout semantics of generics in DOL
- Project abstract: logic atlas and integrator (LATIN)
- Lambda expressions in Casl architectural specifications
- Development graphs -- proof management for structured specifications
- Integrating Maude into Hets
- Quasi-Boolean encodings and conditionals in algebraic specification
- HasCasl
- CoFI
- CASL
- CCSL
- MAYA
- foaf
- LAD
- GtkMathView
- OBJ3
- jsMath
- CafeOBJ
- Atelier B
- MMT
- NNexus
- TNTBase
- MathDox
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- STEXIDE
- STEX+
- Formulator MathML
- gaia
- CRC 3
- MTT
- Dr.Doodle
- CSP-prover
- ModalCasl
- OnTrack
- PVSio-web
- Specware
- EPK-fix
- HTab
- CoCasl
- AgsyHOL
- HyLoTab
- K-Java
- CafeInMaude
- Openproof
- LATIN
- Speedith
- AGREE
- eMoflon
- EMorF
- Verigraph
- CITP
- Vickrey_Clarke_Groves
- Property Preserving Refinement for Csp-Casl
- Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
- A coalgebraic approach to the semantics of the ambient calculus
- Categorical foundations for structured specifications in \(\mathsf{Z}\)
- CiMPA
- CiMPG
- Adimen-SUMO
- Amulet
- JSNice
- Algebraic-coalgebraic specification in CoCASL
- Generalized Theoroidal Institution Comorphisms
- HasCasl: integrated higher-order specification and program development
- Grothendieck inclusion systems
- Fundamental Approaches to Software Engineering
- Refinement in hybridised institutions
- The Verigraph system for graph transformation
- A Maude environment for CafeOBJ
- Bootstrapping Types and Cotypes in HasCASL
- A formal proof generator from semi-formal proof documents
- The role of logical interpretations in program development
- Institutions for OCL-like expression languages
- Bootstrapping Inductive and Coinductive Types in HasCASL
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Towards an institutional framework for heterogeneous formal development in UML -- a position paper
- Institution-based encoding and verification of simple UML state machines in CASL/SPASS
- Diagram combinators in MMT
- Model-driven engineering in the heterogeneous tool set
- Hybrid specification of reactive systems: an institutional approach
- CSP-CASL-Prover: a generic tool for process and data refinement
- An institution for Object-Z with inheritance and polymorphism
- Applications and Theory of Petri Nets 2005
- Dimensions of formality: a case study for MKM in software engineering
- Automating change of representation for proofs in discrete mathematics (extended version)
- The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema
- Semantics of multiway dataflow constraint systems
This page was built for software: Hets
