InfoQ Homepage Verification Content on InfoQ
Interviews
RSS Feed-
Adam Wick on Security, Formal Methods, Types, Unikernels, HaLVM, DRM
Adam Wick talks about software security, research into formal methods and randomisation as well as documentation and types to help write secure software, HalVM and other Unikernels, DRM.
-
Todd Montgomery on Protocol Design, Security, Formal Verification Tools
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
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.
