LARCH
From MaRDI portal
Cited in
(only showing first 100 items - show all)- 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
- Combining matching algorithms: The regular case
- Behavioural theories and the proof of behavioural properties
- Behavioral interface specification languages
- Recent Trends in Algebraic Development Techniques
- Specification and verification of object-oriented programs using supertype abstraction
- HasCasl
- jContractor
- Virginity
- CoFI
- CASL
- PREVAIL
- OBSCURE
- BETA
- SPARK
- Eiffel
- JML
- LETOS
- OBJ3
- CafeOBJ
- 2OBJ
- JUnit
- NQTHM
- Codecharts
- HighSpec
- SbReve2
- LOOP
- CoCasl
- UNITY
- PolyTOIL
- Splint
- CafeInMaude
- Houdini
- MiniMaple
- mural
- CITP
- ABCL
- AFFIRM
- REVE
- RRL
- TAME
- Tecton
- Secondary Sylow
- Jass
- scientific article; zbMATH DE number 1629956 (Why is no real title available?)
- CiMPA
- CiMPG
- Amulet
- ANNA
This page was built for software: LARCH
