scientific article; zbMATH DE number 2080050

zbMATH Open1043.68538MaRDI QIDQ4472239FDOQ4472239

Authors: Taeho Kim, David Stringer-Calvert, Sung Deok Cha 

Publication date: 4 August 2004

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

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

Recommendations

• Formal analysis of the application programming interface of the PVS verification system
• Formal Verification and Testing Based on P Systems
• Automated Technology for Verification and Analysis
• Using formal methods to specify the functional properties of engineering software
• An integrated approach to P systems formal verification
• Software verification with PDR: an implementation of the state of the art

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (5)

• High-automation proofs for properties of requirements models
• Verification of software requirements on program systems represented by attribute transition systems
• A Brief Overview of PVS
• Title not available (Why is that?)
• Title not available (Why is that?)

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