16 citations · 63 across the 24 of their papers we have counts for
13 papers · 1 filter
Automatization of building IT projects using composite consistency rules
Stanislaw Jerzy Niepostyn, Wiktor Bohdan Daszczuk
Unified Modeling Language (UML) is widely used for modeling IT systems but lacks formal rules to ensure consistency across diagrams. This often leads to inconsistencies when shared…
Critical trees: counterexamples in model checking of CSM systems using CBS algorithm
Wiktor B. Daszczuk
The important feature of temporal model checking is the generation of counterexamples. In the report, the requirements for generation of counterexample (called critical tree) in mo…
Verification of Design Decisions in Communication Protocol by Evaluation of Temporal Logic Formulas
Wiktor B. Daszczuk
During the project of a communication protocol, many design decisions influence the behavior of the protocol and its correctness. Formal specification and verification of the proto…
State Space Reduction for Reachability Graph of CSM Automata
Wiktor B. Daszczuk
Classical CTL temporal logics are built over systems with interleaving model concurrency. Many attempts are made to fight a state space explosion problem (for instance, composition…
Macrogeneration and Automata Libraries For COSMA design environment
Wiktor B. Daszczuk
In ICS, WUT a COSMA design environment is being developed. COSMA is based on Concurrent State Machines (CSM) formalism of system specification. It contains a graphical tool for sys…
Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3
Wiktor B. Daszczuk
Integrated Model of Distributed Systems is used for specification and verification of distributed systems. In the formalism, a system is modeled as a set of servers' states and age…