Пікірлер

• 
  @gdarbari6384Ай бұрын

  Wonderful 👍 Mr Darbari

• 
  @sahilagarwal8335Ай бұрын

  Will this cover a complete course for beginner to understand formal verification

• 
  @triptisaxena66324 ай бұрын

  Great 🎉

• 
  @whitenix25854 ай бұрын

  "How much do you trust mathematics?" The only thing I trust is mathematics!

• 
  @htz45234 ай бұрын

  For a student whose research direction is formal verification, your videos are truly a treasure trove. Thank you very much for sharing!

• 
  @avishekdas87245 ай бұрын

  The session was really informative. Thanks Prof. Pascal and Dr. Darbari.

• 
  @formal_intelligence5 ай бұрын

  Thanks for sharing

• 
  @kattyjoseph-martinez612210 ай бұрын

  What a great panel, thank you for sharing your knowledge Dr Darbari!

• 
  @zahidfazal2176 Жыл бұрын

  Great information

• 
  @nyenyasfamily540 Жыл бұрын

  byy7hhuu7uuaqwssbutgtdrrtheygeygf4g

• 
  @georgezazanis Жыл бұрын

  subtitles are needed for non-native english speakers

• 
  @user-ww2lc1yo9c Жыл бұрын

  does writing property mean that we do not write directed tests anymore?

• 
  @axiomiseformalverification8045 Жыл бұрын

  Yes, indeed.

• 
  @kpbpro Жыл бұрын

  Really good and illustrative information on formal verification.

• 
  @axiomiseformalverification8045 Жыл бұрын

  Thanks

• 
  @shakeib98 Жыл бұрын

  This is a gem.

• 
  @user-iu8zj2nk6h5 ай бұрын

  😂😂🎉😢😮😮😅😊😊😅😅😅iui😅😅😅 po😊😊p

• 
  @gdarbari63842 жыл бұрын

  Wonderful

• 
  @cindynatalisa2982 жыл бұрын

  Mjjkkkjjhpooyuubn

• 
  @elizabethwoodlock77092 жыл бұрын

  Loved hearing you Alistair! I have been telling my Daughter Daisy all about you and I had mentioned Seraphim to her. She always asks about my old school days and friends❤ So happy to see you are happy and well. All the best Elizabeth(Libby)

• 
  @drgovinddarbari72863 жыл бұрын

  Truly a unique course for professional verification engineers, beginners and students.

• 
  @ciaranlappin50163 жыл бұрын

  Hi, do you have a link for the webinar?

• 
  @axiomiseformalverification80453 жыл бұрын

  axiomise.com/webinars

• 
  @veaswaran38713 жыл бұрын

  Happy New Year

• 
  @alpaapmajhmudar12573 жыл бұрын

  Great

• 
  @jyotiswp3 жыл бұрын

  Very informative discussion. Cyber security is a hot subject these days and Mr.Rajat Swarup has brilliantly expressed the challenges faced in this sphere.

• 
  @anujdarbari95553 жыл бұрын

  Mesmerising, how Gaming patches take you to the best in cyber security. Like the podcast. Was wondering has supercomputing and dependence of technology in the form of wearables, etc. open access through SOC makes the task of cybersecurity hacks more vulnerable and creates a new daily challenge to experts like Mr Swarup

• 
  @advc084 жыл бұрын

  Never knew for this long that bounded proof sign-off can be a problem. Thanks for this.

• 
  @Janevlog064 жыл бұрын

  Nice vedio nice information to all people needs it

• 
  @MrVerilog4 жыл бұрын

  How is the RISC-V Formal Proof Kit available? Is it something that is purchased, or free to test for a limited time, or ...?

• 
  @axiomiseformalverification80454 жыл бұрын

  Hi Kirk I'll set up a demo for you and we can discuss options then.

• 
  @sunilkj66954 жыл бұрын

  Good podcast. Another interesting related project is TLA+. Check lamport.azurewebsites.net/tla/tla.html

• 
  @sriramkrishnan15884 жыл бұрын

  Look forward to hearing more about SoC and hopefully something about the testing, verification aspects. What would be interesting to hear is what makes SoC different from standard chips, how do they vary depending on the application, integration with analog components and so on...

• 
  @ankitgarg16094 жыл бұрын

  It's a good and informative podcast, the background music very distracting though.

• 
  @dhdezr735 жыл бұрын

  So sad this kind of awesome videos have very few views and likes. Very well explained!