scientific article; zbMATH DE number 2080009

MaRDI QIDQ4472192zbMATH OpenFDO

Authors Jean-Paul Bodeveix, Mamoun Filali

Publication date 3 August 2004

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

zbMATH Keywords

semanticstype theorylogical frameworksPVSB

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2172802
• Formal specification with B
• Translation templates to support strategy development in PVS
• scientific article; zbMATH DE number 1863387
• Formalizing bialgebraic semantics in PVS 6.0

Cited in

(3)

• Translating specifications in VDM-SL to PVS
• Translation templates to support strategy development in PVS
• Soundly proving B method formulæ using typed sequent calculus

Describes a project that uses

Uses Software

• Isabelle/ZF
• Coq

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