scientific article; zbMATH DE number 2080009

zbMATH Open1044.68105MaRDI QIDQ4472192FDOQ4472192

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

Title of this publication is not available (Why is that?)

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

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)

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

Uses Software

• Coq
• Isabelle/ZF

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)