Insertion modeling system

Authors:
Alexander A. Letichevsky;Olexandr A. Letychevskyi;Vladimir S. Peschanenko
Affiliations:
Glushkov Institute of Cybernetics, Academy of Sciences of Ukraine, Ukraine;Glushkov Institute of Cybernetics, Academy of Sciences of Ukraine, Ukraine;Kherson State University, Ukraine
Venue:
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Year:
2011

Citing 14
Cited 0

Communicating sequential processes

Communicating sequential processes
Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
Computations in APS

Informatika '91 Selected papers of the 5th Soviet-French symposium on Theoretical computer science, methods and tools for compilation, and program development
Evolving algebras 1993: Lipari guide

Specification and validation methods
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
An axiomatic basis for computer programming

Communications of the ACM
Communication and Concurrency

Communication and Concurrency
Dynamic Logic

Dynamic Logic
A Model for Interaction of Agents and Environments

WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Insertion Programming

Cybernetics and Systems Analysis
Leveraging UML to deliver correct telecom applications

UML for real
Systems Specification by Basic Protocols

Cybernetics and Systems Analysis
Basic protocols, message sequence charts, and the verification of requirements specifications

Computer Networks: The International Journal of Computer and Telecommunications Networking - Telecommunications and UML languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for the development of insertion machines, used to represent insertion models of distributed systems. The architecture of insertion machines and insertion modeling system IMS is presented. Insertion machine for program verification is specified as an example, and as a starting point of ‘verifiable programming' project.