D-Finder
From MaRDI portal
swMATH200MaRDI QIDQ12966FDOQ12966
Author name not available (Why is that?)
Official website: http://www-verimag.imag.fr/dfinder
Cited In (29)
- Feedback in synchronous relational interfaces
- Checking deadlock-freedom of parametric component-based systems
- Computing parameterized invariants of parameterized Petri nets
- Assembly theories for communication-safe component systems
- Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
- Component-based formal modeling of PLC systems
- Behavioural semantics for asynchronous components
- Reo
- Ptolemy
- MIO Workbench
- FDR3
- Cubicle
- Model construction and priority synthesis for simple interaction systems
- Omega
- SOFA 2.0
- PACC starter kit
- Rigorous development of component-based systems using component metadata and patterns
- DLC
- LNT2LOTOS
- SACO
- XTL
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
- Structural Invariants for the Verification of Systems with Parameterized Architectures
- Compositional Verification for Component-Based Systems and Application
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving
- Algorithms for synthesizing priorities in component-based systems
- Computing Parameterized Invariants of Parameterized Petri Nets
- A Theory Agenda for Component-Based Design
This page was built for software: D-Finder