Using generalized nets for programme verification

MaRDI QIDQ5497197zbMATH OpenFDO

Authors Magdalina Todorova

Publication date 3 February 2015

zbMATH Keywords

generalized netsmodelingprogram verification

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Applications of Generalized Nets
• Program verification: state of the art, problems, and results. II
• GN IDE: implementation, improvements and algorithms
• Generalized nets as tools for modelling of open, hybrid and closed systems: an example with an expert system
• Program verification: state of the art, problems, and results. I

Cited in

(3)

• Generalised multi-pattern-based verification of programs with linear linked structures
• scientific article; zbMATH DE number 7132887 (Why is no real title available?)
• Correctness of the formal generalized net project of the connections between procedural program functions

This page was built for publication: Using generalized nets for programme verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5497197)