scientific article; zbMATH DE number 1617290

MaRDI QIDQ2722014zbMATH OpenFDO

Authors Natarajan Shankar, Sam Owre

Publication date 11 July 2001

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1156716
• scientific article; zbMATH DE number 1863390
• scientific article; zbMATH DE number 1301735
• Subtyping dependent types
• scientific article; zbMATH DE number 1512607

Cited in

(12)

• Pragmatic subtyping in polymorphic languages
• A mechanical verification of the stressing algorithm for negative cost cycle detection in networks
• scientific article; zbMATH DE number 860050 (Why is no real title available?)
• PVS
• PVS embedding of cCSP semantic models and their relationship
• Invariants for the FoCaL language
• A framework for type inference with subtyping
• Interactive tool support for CSP \(\parallel\) B consistency checking
• The mechanical verification of a DPLL-based satisfiability solver
• A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance
• scientific article; zbMATH DE number 1863390 (Why is no real title available?)
• Fixpoints and search in PVS

Describes a project that uses

Uses Software

• ETPS
• CASL
• 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 Q2722014)