scientific article; zbMATH DE number 1543338

MaRDI QIDQ4520814zbMATH OpenFDO

Authors Răzvan Diaconescu, Kokichi Futatsugi

Publication date 27 February 2001

Full work available at URL http://www.jucs.org/jucs_6_1/behavioural_coherence_in_object

zbMATH Keywords

hidden algebra formalism

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Behavioural specification for hierarchical object composition
• Formal Methods for Components and Objects
• Semantic constructions for the specification of objects
• Coinduction for preordered algebra
• scientific article; zbMATH DE number 1418363

Cited in

(30)

• On institutions for modular coalgebraic specifications.
• Logical foundations of CafeOBJ
• A hidden Herbrand theorem: Combining the object and logic paradigms
• Closure properties for the class of behavioral models
• Stratified institutions and elementary homomorphisms
• Herbrand theorems in arbitrary institutions
• Behavioural specification for hierarchical object composition
• Integrating observational and computational features in the specification of state-based, dynamical systems
• scientific article; zbMATH DE number 1686270 (Why is no real title available?)
• Towards behavioral Maude: behavioral membership equational logic
• Rewriting-based verification of authentication protocols
• Behavioral equivalence of hidden k-logics: an abstract algebraic approach
• scientific article; zbMATH DE number 58285 (Why is no real title available?)
• Foundations for structuring behavioural specifications
• scientific article; zbMATH DE number 1314230 (Why is no real title available?)
• Hidden coinduction: behavioural correctness proofs for objects
• scientific article; zbMATH DE number 1507195 (Why is no real title available?)
• A short overview of hidden logic
• A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
• A Maude environment for CafeOBJ
• CafeOBJ Traces
• Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs
• Observational refinement process
• Behavioural reasoning for conditional equations
• Semantic constructions for the specification of objects
• Equational axiomatizability for coalgebra
• Coinduction for preordered algebra
• Behavioral abstraction is hiding information
• Quasi-Boolean encodings and conditionals in algebraic specification
• Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4520814)