Pages that link to "Item:Q2789127"
From MaRDI portal
The following pages link to An Integrated Model Checking Toolset for Kernel P Systems (Q2789127):
Displaying 12 items.
- Modelling and validating an engineering application in kernel P systems (Q1749168) (← links)
- Formal verification of cP systems using PAT3 and ProB (Q1982961) (← links)
- Spiking neural P systems: matrix representation and formal verification (Q1983014) (← links)
- Search-based testing in membrane computing (Q1983028) (← links)
- Kernel P systems: from modelling to verification and testing (Q2413314) (← links)
- Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
- Comparative Analysis of Statistical Model Checking Tools (Q2975907) (← links)
- Kernel P Systems Modelling, Testing and Verification - Sorting Case Study (Q2975916) (← links)
- Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME (Q2975920) (← links)
- Model Checking Kernel P Systems (Q5404850) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901907) (← links)
- A model learning based testing approach for kernel P systems (Q6162072) (← links)