Cited in
(only showing first 100 items - show all)- qGCL
- scientific article; zbMATH DE number 1696876 (Why is no real title available?)
- scientific article; zbMATH DE number 2079812 (Why is no real title available?)
- Modular specification and verification of object-oriented programs
- Semantics of multiway dataflow constraint systems
- scientific article; zbMATH DE number 2089386 (Why is no real title available?)
- A logical analysis of aliasing in imperative higher-order functions
- Constructor-based observational logic
- A verifying compiler for a multi-threaded object-oriented language
- scientific article; zbMATH DE number 1420790 (Why is no real title available?)
- Combining matching algorithms: The regular case
- Reasoning with conditional axioms
- Gordon's computer: A hardware verification case study in OBJ3
- The deductive IDEF1X data model of a tooling system
- scientific article; zbMATH DE number 1693433 (Why is no real title available?)
- Proof systems for structured specifications with observability operators
- Program Development in Computational Logic
- Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
- Holistic Specifications for Robust Programs
- Object-oriented specification and open distributed systems
- Goldilocks and the three specifications
- Specifications can make programs run faster
- Some experiments with a completion theorem prover
- Verifying atomic data types
- HasCasl: integrated higher-order specification and program development
- Ours Is to Reason Why
- A semi-algorithm for algebraic implementation proofs
- scientific article; zbMATH DE number 2172806 (Why is no real title available?)
- Specification and verification challenges for sequential object-oriented programs
- Problems in rewriting applied to categorical concepts by the example of a computational comonad
- An overview of LP, the Larch Prover
- Verifying a distributed list system: A case history
- scientific article; zbMATH DE number 1418817 (Why is no real title available?)
- An overview of the Tecton proof system
- Modular invariants for layered object structures
- Modular higher-order E-unification
- The definition of Extended ML: A gentle introduction
- Relating CASL with other specification languages: the institution level.
- Translation templates to support strategy development in PVS
- A formal proof generator from semi-formal proof documents
- Termination of rewrite systems by elementary interpretations
- Parameterized theories and views in full Maude 2. 0
- VerX
- Deductive verification of real-time systems using STeP
- Partial functions and logics: A warning
- The meaning of specifications I: Domains and initial models
- Modular specification of frame properties in JML
- Baby Modula-3 and a theory of objects
- An assertional proof of red-black trees using Dafny
- Executing formal specifications with concurrent constraint programming
- A preliminary software engineering theory as investigated by published experiments
- Modular correctness proofs of behavioural implementations
- A formal proof of Sylow's theorem. An experiment in abstract algebra with Isabelle H0L
- Class invariants as abstract interpretation of trace semantics
- Snapshot Generation in a Constructive Object-Oriented Modeling Language
- Essential concepts of algebraic specification and program development
- scientific article; zbMATH DE number 2107183 (Why is no real title available?)
- FORMAL VALIDATION AND VERIFICATION OF ATOMIC RESOLUTION MICROSCOPE CONTROL AND TOPOGRAPHY
- Modular Specification of Encapsulated Object-Oriented Components
- Rewrite systems for integer arithmetic
- scientific article; zbMATH DE number 1216242 (Why is no real title available?)
- Equality in computer algebra and beyond.
- A formal notation and tool for the engineering of CORBA systems
- scientific article; zbMATH DE number 1860624 (Why is no real title available?)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- Towards the formal specification and verification of Maple programs
- scientific article; zbMATH DE number 1956498 (Why is no real title available?)
- Term rewriting and beyond -- theorem proving in Isabelle
- Generic proof scores for generate \& check method in CafeOBJ
- Specification and verification of invariants by exploiting layers in OO designs
- Theories for mechanical proofs of imperative programs
- Exploring abstract algebra in constructive type theory
- Models and tools for managing development processes.
- A system for predictable component-based software construction
- Order-sorted algebraic specifications with higher-order functions
- SOS formats and meta-theory: 20 years after
- scientific article; zbMATH DE number 1953037 (Why is no real title available?)
- scientific article; zbMATH DE number 1693525 (Why is no real title available?)
- scientific article; zbMATH DE number 1696904 (Why is no real title available?)
- Generate \& check method for verifying transition systems in CafeOBJ
- Manipulating algebraic specifications with term-based and graph-based representations
- Program derivation with verified transformations — a case study
- Constraining interference in an object-based design method
- Foundations of algebraic specification and formal software development.
- Rewriting, and equational unification: the higher-order cases
- scientific article; zbMATH DE number 1227059 (Why is no real title available?)
- scientific article; zbMATH DE number 1262431 (Why is no real title available?)
- scientific article; zbMATH DE number 1303987 (Why is no real title available?)
- Modeling and visualizing object-oriented programs with Codecharts
- scientific article; zbMATH DE number 1260557 (Why is no real title available?)
- scientific article; zbMATH DE number 2062239 (Why is no real title available?)
- Algebra and automated deduction
- scientific article; zbMATH DE number 1487490 (Why is no real title available?)
- Are the logical foundations of verifying compiler prototypes matching user expectations?
- Domain modeling-based software engineering. A formal approach
- scientific article; zbMATH DE number 2188495 (Why is no real title available?)
- Modeling and verification of real-time systems based on equations
- How the design of JML accommodates both runtime assertion checking and formal verification
- Impact of performance considerations on formal specification design
- Observational interpretation of Casl specifications
This page was built for software: LARCH
