Pages that link to "Item:Q2239275"
From MaRDI portal
The following pages link to Strategies, model checking and branching-time properties in Maude (Q2239275):
Displaying 6 items.
- Hardware Trojan detection via rewriting logic (Q2141287) (← links)
- Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
- Metalevel transformation of strategies (Q2667189) (← links)
- Safety enforcement via programmable strategies in Maude (Q2693298) (← links)
- Verification of the ROS NavFn planner using executable specification languages (Q2693303) (← links)
- The Maude strategy language (Q6113021) (← links)
