Creative Commons / Method Signatures Following Dines Bjørners / Dagstuhl Publishing / Microsoft / /
Country
Germany / / /
Facility
Saarland University / Rice University / University of Warsaw / /
IndustryTerm
model-based design tools / end-product / methods and tools / verifiable systems / specification tools / transportation systems / safety-critical embedded systems / Safety-critical systems / verification tools / structured systems / software development system / transportation industry / push-button tools / tool developer / program verification systems / energy / /
Organization
Saarland University / University of Warsaw / Design Architecture Implementation Integration Unit / Rice University / /
Person
Moshe Y. Vardi / Jörg Kreiker / John S. Fitzgerald / Juan Bicarregui / Jim Woodcock / Reinhard Wilhelm / Peter Gorm Larsen / Reinhard Wilhelm Dagstuhl Manifestos Schloss / Andrzej Tarlecki / /
Manifesto from Dagstuhl Perspectives Workshop[removed]Modeling, Analysis, and Verification – The Formal Methods Manifesto 2010 Edited by