The following pages link to Verification is experimentation! (Q1606799):
Displaying 4 items.
- Hoare logic-based genetic programming (Q543275) (← links)
- The symbiosis of concurrency and verification: teaching and case studies (Q1707345) (← links)
- Yeast: A case study for a practical use of formal methods (Q5044729) (← links)
- Automated Technology for Verification and Analysis (Q5394170) (← links)