scientific article; zbMATH DE number 2086950

MaRDI QIDQ4737558zbMATH OpenFDO

Authors Shmuel Katz, Orna Grumberg

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2335/23350145.htm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1693441
• scientific article; zbMATH DE number 2102668
• A framework for model transformation verification
• Data model descriptions and translation signatures in a multi-model framework
• Reasoning on Data Models in Schema Translation

Cited in

(6)

• Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
• Traceability between models and texts through terminology
• Data model descriptions and translation signatures in a multi-model framework
• scientific article; zbMATH DE number 1693441 (Why is no real title available?)
• Reasoning on Data Models in Schema Translation
• scientific article; zbMATH DE number 2084757 (Why is no real title available?)

Describes a project that uses

Uses Software

• Bandera
• Java PathFinder
• PVS
• LOTOS

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 Q4737558)