PVeStA
From MaRDI portal
Cited in
(37)- Probabilistic real-time rewrite theories and their expressive power
- The rewriting logic semantics project: a progress report
- Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude
- Computing scores of forwarding schemes in switched networks with probabilistic faults
- JavaFAN
- ITP/OCL
- Maude
- MMT
- VESTA
- MultiVeStA
- PMaude
- PAGODA
- COSTABS
- MFE
- ITP
- DDebugger
- Dist-Orc
- MOMENT2
- InvA
- PSMaude
- iCanCloud
- MODIST
- vlogsl
- Statistical model checking for composite actor systems
- On the accuracy of formal verification of selective defenses for TDoS attacks
- PLASMA
- AADL
- SymPLFIED
- Java+ITP
- FatTire
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude
- Rewriting semantics of production rule sets
- Resource provisioning strategies for BPMN processes: specification and analysis using Maude
- Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
- A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing
- Twenty years of rewriting logic
- Integrating deployment architectures and resource consumption in timed object-oriented models
This page was built for software: PVeStA
