1![LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games](https://www.pdfsearch.io/img/a5e66462dec12ea4cdbf1fc6da3defa4.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2009-10-23 08:59:09
|
---|
2![Multi-objective discounted reward verification in graphs and MDPs Krishnendu Chatterjee1 , Vojtˇech Forejt2 , and Dominik Wojtczak3 1 2 Multi-objective discounted reward verification in graphs and MDPs Krishnendu Chatterjee1 , Vojtˇech Forejt2 , and Dominik Wojtczak3 1 2](https://www.pdfsearch.io/img/b82af931e75ea5e28e44178f006baab9.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 11:49:36
|
---|
3![What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2 What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2](https://www.pdfsearch.io/img/07a970688bbac4ee3687d7cf12fda881.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-10-13 07:25:09
|
---|
4![Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,](https://www.pdfsearch.io/img/9cf4c03e043b852604fe480de929af96.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2016-04-24 16:51:40
|
---|
5![Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop](https://www.pdfsearch.io/img/0b21db153daa815335107ceadb066f6e.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-11-05 09:28:54
|
---|
6![Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University](https://www.pdfsearch.io/img/0207377f28fc6004e61e7f05472ba668.jpg) | Add to Reading ListSource URL: arieg.bitbucket.ioLanguage: English - Date: 2018-10-19 18:15:18
|
---|
7![Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington](https://www.pdfsearch.io/img/b115547be0a2cfcf1226ca5a66e9ab6c.jpg) | Add to Reading ListSource URL: unsat.cs.washington.eduLanguage: English - Date: 2018-09-27 23:32:05
|
---|
8![Synthesis and Verification for All Emina Torlak University of Washington homes.cs.washington.edu/~emina/ Synthesis and Verification for All Emina Torlak University of Washington homes.cs.washington.edu/~emina/](https://www.pdfsearch.io/img/448fb1ce8e63e073c2dd1afbbdb545d5.jpg) | Add to Reading ListSource URL: con.racket-lang.org- Date: 2016-09-23 19:37:16
|
---|
9![Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK](https://www.pdfsearch.io/img/275b93b15cf7e9fdf023ac6ff2c8bd00.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2012-05-10 09:21:59
|
---|
10![Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich Increasing Usability of Spin-based C Code Verification Using a Harness Definition Language Leveraging Model-driven Code Checking to Practitioners Daniel Ratiu Andreas Ulrich](https://www.pdfsearch.io/img/b38239114c688e337108b640e04f8439.jpg) | Add to Reading ListSource URL: mbeddr.comLanguage: English - Date: 2018-08-02 04:06:51
|
---|