PMaude

swMATH8422MaRDI QIDQ20431

No author found.

Related Items (28)

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic ⋮ On probabilistic term rewriting ⋮ Probabilistic Graph Transformation Systems ⋮ Specification and analysis of the AER/NCA active network protocol suite in real-time Maude ⋮ José Meseguer: Scientist and Friend Extraordinaire ⋮ The rewriting logic semantics project: a progress report ⋮ On the accuracy of formal verification of selective defenses for TDoS attacks ⋮ Twenty years of rewriting logic ⋮ Rewriting semantics of production rule sets ⋮ Formal probabilistic analysis of detection properties in wireless sensor networks ⋮ Strategic port graph rewriting: an interactive modelling framework ⋮ Theoretical Aspects of Computing – ICTAC 2005 ⋮ Resource provisioning strategies for BPMN processes: specification and analysis using Maude ⋮ Probabilistic timed graph transformation systems ⋮ Actor-based model checking for software-defined networks ⋮ Translating Stochastic CLS into Maude ⋮ Unnamed Item ⋮ All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. ⋮ Modeling and analyzing mobile ad hoc networks in Real-Time Maude ⋮ Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude ⋮ Programming and symbolic computation in Maude ⋮ A rewriting logic approach to operational semantics ⋮ A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing ⋮ Statistical Model Checking for Composite Actor Systems ⋮ Read atomic transactions with prevention of lost updates: ROLA and its formal analysis ⋮ Formal Analysis of Leader Election in MANETs Using Real-Time Maude ⋮ Recent Advances in Real-Time Maude ⋮ A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis

This page was built for software: PMaude