Top 100 Management Tools || Digitalisierung
- 作者Schawel, Christian; Billing, Fabian
- 文件大小59.75KB
- 发表时间2018
- DOI10.1007/978-3-658-18917-4_27
- 页码105-107
[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Protocol verification in NuprlHu, Alan J.; Vardi, Moshe Y. · 1998
Lecture Notes in Computer Science 4349 VerificationModel Checking · January 1416 · 2007
Lecture Notes in Computer Science 3385 VerificationMoel Checking · SpringerVerlag · 2005
Lecture Notes in Computer Science 2937 VerificationModel Checking · January 1113 · 2004
[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Infinite Games and VerificationBrinksma, Ed; Larsen, Kim Guldstrand · 2002
[Lecture Notes in Computer Science] Computer Aided Verification Volume 4144 ||Ball, Thomas; Jones, Robert B. · 2006
[Lecture Notes in Computer Science] Computer Aided Verification Volume 5643 ||Bouajjani, Ahmed; Maler, Oded · 2009
[Lecture Notes in Computer Science] Computer Aided Verification Volume 8559 ||Biere, Armin; Bloem, Roderick · 2014
[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10747 ||Dillig, Isil; Palsberg, Jens · 2018
[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10747 || Abstract Code InjectionDillig, Isil; Palsberg, Jens · 2018
[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10747 || Gradual Program VerificationDillig, Isil; Palsberg, Jens · 2018
[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10747 || Refinement Types for RubyDillig, Isil; Palsberg, Jens · 2018
[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10747 || Generating Tests by ExampleDillig, Isil; Palsberg, Jens · 2018
[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10747 || On Constructivity of Galois ConnectionsDillig, Isil; Palsberg, Jens · 2018
[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10747 || From Shapes to Amortized ComplexityDillig, Isil; Palsberg, Jens · 2018
[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10747 || Revisiting MITL to Fix Decision ProceduresDillig, Isil; Palsberg, Jens · 2018