Search Results for Tools.

1.

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Yazar

Paskevich, Andrei. editor.

https://doi.org/10.1007/978-3-319-72308-2

Format:

Electronic Resources

Alıntı:

Verified Software. Theories, Tools, and Experiments 9th International Conference, VSTTE 2017

2.

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

Yazar

Piskac, Ruzica. editor.

https://doi.org/10.1007/978-3-030-03592-1

Format:

Electronic Resources

Alıntı:

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018

3.

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Yazar

Botterweck, Goetz. editor. (orcid)0000-0002-5556-1660

https://doi.org/10.1007/978-3-319-56856-0

Format:

Electronic Resources

Alıntı:

product lines; variability management and model variants; verification and refactoring for reuse; tools

4.

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Yazar

Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X

https://doi.org/10.1007/978-3-319-66845-1

Format:

Electronic Resources

Alıntı:

on cyber-physical systems, software verification tools, safety-critical systems, concurrency and

5.

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

https://doi.org/10.1007/978-3-319-56841-6

Format:

Electronic Resources

Alıntı:

industrial engineers who are interested in the theory and practice of methods and tools for the design and

6.

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

https://doi.org/10.1007/978-3-030-02928-9

Format:

Electronic Resources

Alıntı:

, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for

7.

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Yazar

Howar, Falk. editor.

https://doi.org/10.1007/978-3-030-00244-2

Format:

Electronic Resources

Alıntı:

Analysis Methods and Tools -- The Quest for Optimality in Stateless Model Checking of Concurrent Programs

8.

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Yazar

Margaria, Tiziana. editor.

https://doi.org/10.1007/978-3-030-03418-4

Format:

Electronic Resources

Alıntı:

verification: from static to runtime and back; evaluating tools for software verification; statistical model

9.

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

https://doi.org/10.1007/978-3-030-03421-4

Format:

Electronic Resources

Alıntı:

-- Runtime and Memory Evaluation of Data Race Detection Tools -- In-Place vs. Copy-on-Write CEGAR Refinement

10.

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Yazar

Margaria, Tiziana. editor.

https://doi.org/10.1007/978-3-030-03424-5

Format:

Electronic Resources

Alıntı:

-- Towards automated testing of the Internet of Things: Results obtained with the TESTAR tool -- Quantitative

11.

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Yazar

Margaria, Tiziana. editor.

https://doi.org/10.1007/978-3-030-03427-6

Format:

Electronic Resources

Alıntı:

verification: from static to runtime and back; evaluating tools for software verification; statistical model

	{displayName}	{count}
{error}