scientific article

zbMath0966.68515MaRDI QIDQ2722014

Natarajan Shankar, Sam Owre

Publication date: 11 July 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

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

Uses Software

• Coq
• CASL
• ETPS