Coalgebraic theories of sequences in PVS

DOI10.1093/logcom/9.4.463zbMath0940.68084OpenAlexW2062224255MaRDI QIDQ4700096

Ulrich Hensel, Bart Jacobs

Publication date: 1 December 1999

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/061adad30dffd0f85a257d0734a4932f725b0a58

zbMATH Keywords

prototype verification system

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (2)

Unnamed Item ⋮ Simulations in coalgebra

Uses Software

• PVS

This page was built for publication: Coalgebraic theories of sequences in PVS