The following pages link to PRISM (Q13928):
Displaying 8 items.
- Correct Hardware Design and Verification Methods (Q5897081) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901904) (← links)
- Verified analysis of random binary tree structures (Q5916263) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
- Computer aided verification. 13th international conference, CAV 2001, Paris, France, July 18--22, 2001. Proceedings (Q5943776) (← links)
- Deterministic and stochastic P systems for modelling cellular processes (Q5962070) (← links)
- On simulation-based probabilistic model checking of mixed-analog circuits (Q5962116) (← links)
- Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude (Q5971098) (← links)