226 followers
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. - Jin Hyun Kim, Kim G. Larsen,… http://t.co/BCjCa1XYFQ
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. - Jin Hyun Kim, Kim G. Larsen,… http://t.co/BCjCa1XYFQ
On the Formal Analysis of Photonic Signal Processing Systems. - Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar http://t.co/qNPse3iWqs
Model Checking a Server-Side Micro Payment Protocol. - Kaylash Chaudhary, Ansgar Fehnker http://t.co/zQug8d07Yb
Automated Verification of Nested DFS. - Jaco C. van de Pol http://t.co/OhwUVWfQqB