Temporal logic of programs
CCITT SDL: overview of the language and its application
Computer Networks and ISDN Systems - CCITT SDL
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Verification of Safety Properties Using IntegerProgramming: Beyond the State Equation
Formal Methods in System Design
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Criteria of Satisfiability for Homogeneous Systems of Linear Diophantine Constraints
PPAM '01 Proceedings of the th International Conference on Parallel Processing and Applied Mathematics-Revised Papers
Canonical Prefixes of Petri Net Unfoldings
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Invariant-preserving transformations for the verification of place/transition systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Algorithm of Translation of MSC-specified System into Petri Net
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
| Hi-index | 0.00 |
Formal Methods are a set of methods and tools based on mathematical modeling and formal logic that are used to specify and verify requirements and architecture of hardware or software systems. They can also include means of automatic proving of key properties of designed software or hardware systems. In this paper automatic system is presented which specifies formally and verify designed software or hardware system specified in MSC language. Automatic system is represented as technological process that applies the formal modeling technique of Petri nets and is based on linear algebra methods of analysis, namely, solving the systems of linear equations over the set of natural numbers, in order to research the properties of a system under design. The system is first modeled as a Petri net, and then this model is analyzed. The understanding of the system which results from the analysis will lead to a hopefully errorless system.