LARCH
From MaRDI portal
Cited in
(only showing first 100 items - show all)- HasCasl: integrated higher-order specification and program development
- Modular correctness proofs of behavioural implementations
- Some experiments with a completion theorem prover
- Combining matching algorithms: The regular case
- A semi-algorithm for algebraic implementation proofs
- Theories for mechanical proofs of imperative programs
- HasCasl
- Gordon's computer: A hardware verification case study in OBJ3
- An overview of the Tecton proof system
- Verifying a distributed list system: A case history
- Essential concepts of algebraic specification and program development
- Order-sorted algebraic specifications with higher-order functions
- Proof systems for structured specifications with observability operators
- The definition of Extended ML: A gentle introduction
- Virginity
- Equality in computer algebra and beyond.
- jContractor
- CoFI
- PREVAIL
- CASL
- OBSCURE
- BETA
- SPARK
- Deductive verification of real-time systems using STeP
- Eiffel
- A formal proof generator from semi-formal proof documents
- JML
- LETOS
- Class invariants as abstract interpretation of trace semantics
- OBJ3
- How the design of JML accommodates both runtime assertion checking and formal verification
- Termination of rewrite systems by elementary interpretations
- CafeOBJ
- Relating CASL with other specification languages: the institution level.
- Executing formal specifications with concurrent constraint programming
- A preliminary software engineering theory as investigated by published experiments
- Models and tools for managing development processes.
- Manipulating algebraic specifications with term-based and graph-based representations
- Specification and verification of object-oriented programs using supertype abstraction
- 2OBJ
- Reasoning with conditional axioms
- JUnit
- NQTHM
- A formal proof of Sylow's theorem. An experiment in abstract algebra with Isabelle H0L
- An assertional proof of red-black trees using Dafny
- Semantics of multiway dataflow constraint systems
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- Codecharts
- HighSpec
- SbReve2
- LOOP
- Modeling and visualizing object-oriented programs with Codecharts
- Impact of performance considerations on formal specification design
- Constructor-based observational logic
- CoCasl
- Modular invariants for layered object structures
- UNITY
- PolyTOIL
- Are the logical foundations of verifying compiler prototypes matching user expectations?
- Specification and verification challenges for sequential object-oriented programs
- Parameterized theories and views in full Maude 2. 0
- scientific article; zbMATH DE number 1629956 (Why is no real title available?)
- Domain modeling-based software engineering. A formal approach
- A system for predictable component-based software construction
- scientific article; zbMATH DE number 1693433 (Why is no real title available?)
- scientific article; zbMATH DE number 1693525 (Why is no real title available?)
- scientific article; zbMATH DE number 1696876 (Why is no real title available?)
- scientific article; zbMATH DE number 1696904 (Why is no real title available?)
- Ours Is to Reason Why
- Translation templates to support strategy development in PVS
- Behavioral interface specification languages
- Towards the formal specification and verification of Maple programs
- Generic proof scores for generate \& check method in CafeOBJ
- Splint
- scientific article; zbMATH DE number 2089386 (Why is no real title available?)
- Houdini
- CafeInMaude
- MiniMaple
- mural
- Modular Specification of Encapsulated Object-Oriented Components
- CITP
- ABCL
- TAME
- RRL
- Tecton
- AFFIRM
- REVE
- Secondary Sylow
- scientific article; zbMATH DE number 1216242 (Why is no real title available?)
- scientific article; zbMATH DE number 1227059 (Why is no real title available?)
- scientific article; zbMATH DE number 1260557 (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?)
- Jass
- scientific article; zbMATH DE number 1953037 (Why is no real title available?)
- scientific article; zbMATH DE number 1956498 (Why is no real title available?)
- scientific article; zbMATH DE number 2062239 (Why is no real title available?)
- scientific article; zbMATH DE number 2079812 (Why is no real title available?)
- scientific article; zbMATH DE number 1487490 (Why is no real title available?)
- Algebra and automated deduction
This page was built for software: LARCH
