The following pages link to Hets (Q19080):
Displayed 50 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- A scalable module system (Q391632) (← links)
- Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (Q475379) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Foundations of algebraic specification and formal software development. (Q610397) (← links)
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Grothendieck inclusion systems (Q657588) (← links)
- CoFI with Don Sannella (Q724933) (← links)
- Partial pushout semantics of generics in DOL (Q724938) (← links)
- Quasi-Boolean encodings and conditionals in algebraic specification (Q844886) (← links)
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- A formal proof generator from semi-formal proof documents (Q1675786) (← links)
- The Verigraph system for graph transformation (Q1708186) (← links)
- A computational framework for conceptual blending (Q1748468) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Semantics of multiway dataflow constraint systems (Q2043794) (← links)
- Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
- Specifying with syntactic theory functors (Q2173439) (← links)
- Institution-based encoding and verification of simple UML state machines in CASL/SPASS (Q2237342) (← links)
- Diagram combinators in MMT (Q2287911) (← links)
- Inspection and selection of representations (Q2287916) (← links)
- Refinement in hybridised institutions (Q2355385) (← links)
- The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema (Q2364696) (← links)
- Automating change of representation for proofs in discrete mathematics (extended version) (Q2364883) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Image schemas and conceptual blending in diagrammatic reasoning: the case of Hasse diagrams (Q2671623) (← links)
- Model-Driven Engineering in the Heterogeneous Tool Set (Q2797864) (← links)
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory (Q2843015) (← links)
- The role of logical interpretations in program development (Q2871226) (← links)
- Lambda Expressions in Casl Architectural Specifications (Q2890326) (← links)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
- Compositional Modelling and Reasoning in an Institution for Processes and Data (Q2890337) (← links)
- Change Management for Heterogeneous Development Graphs (Q3058452) (← links)
- Integrating Maude into Hets (Q3067467) (← links)
- Refinement Trees: Calculi, Tools, and Applications (Q3090867) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- (Q3116967) (← links)
- Generalized Theoroidal Institution Comorphisms (Q3184726) (← links)
- Property Preserving Refinement for Csp-Casl (Q3184734) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← links)
- Automating Change of Representation for Proofs in Discrete Mathematics (Q3453117) (← links)
- A Heterogeneous Approach to UML Semantics (Q3507375) (← links)
- Dimensions of Formality: A Case Study for MKM in Software Engineering (Q3582721) (← links)
- Towards MKM in the Large: Modular Representation and Scalable Software Architecture (Q3582723) (← links)
- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting (Q3585055) (← links)
- Reasoning Support for Casl with Automated Theorem Proving Systems (Q3591069) (← links)