BT
rss
16:40

Todd Montgomery on Protocol Design, Security, Formal Verification Tools

Posted by Todd Montgomery on  Dec 19, 2014

Todd Montgomery explains protocol design, the advantages of binary over text protocols, formal verification tools and methods, and much more.

Markus Völter on DSLs, Modeling, MPS, Mbeddr

Posted by Markus Völter on  Jun 07, 2012

Markus Völter explains the concepts of the MPS Language Workbench, how it enabled the mbeddr project, approaches to DSLs and how to combine them, programs vs models, formal verification, and more.

General Feedback
Bugs
Advertising
Editorial
InfoQ.com and all content copyright © 2006-2014 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy
BT