D-Finder
From MaRDI portal
Software:12966
No author found.
Related Items (17)
Structural Invariants for the Verification of Systems with Parameterized Architectures ⋮ Computing Parameterized Invariants of Parameterized Petri Nets ⋮ Algorithms for Synthesizing Priorities in Component-Based Systems ⋮ Component-based formal modeling of PLC systems ⋮ Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework ⋮ Rigorous development of component-based systems using component metadata and patterns ⋮ Behavioural semantics for asynchronous components ⋮ Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving ⋮ Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects ⋮ Compositional Verification for Component-Based Systems and Application ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous ⋮ Model Construction and Priority Synthesis for Simple Interaction Systems ⋮ Checking deadlock-freedom of parametric component-based systems ⋮ Assembly Theories for Communication-Safe Component Systems ⋮ Feedback in Synchronous Relational Interfaces ⋮ A Theory Agenda for Component-Based Design ⋮ Computing parameterized invariants of parameterized Petri nets
This page was built for software: D-Finder
