scientific article; zbMATH DE number 1617290

zbMATH Open0966.68515MaRDI QIDQ2722014FDOQ2722014

Natarajan Shankar, Sam Owre

Publication date: 11 July 2001

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

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

Mathematics Subject Classification ID

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

Cited In (11)

• Pragmatic subtyping in polymorphic languages
• A mechanical verification of the stressing algorithm for negative cost cycle detection in networks
• PVS Embedding of cCSP Semantic Models and Their Relationship
• Fixpoints and Search in PVS
• The Mechanical Verification of a DPLL-Based Satisfiability Solver
• Title not available (Why is that?)
• PVS
• Invariants for the FoCaL language
• Interactive tool support for CSP \(\parallel\) B consistency checking
• A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance
• Title not available (Why is that?)

Uses Software

• Coq
• CASL
• ETPS

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)