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