MPG.eBooks - Search Results

1

Transactions on Foundations for Mastering Change I

Published 2016

Springer International Publishing

Subjects: “...Programming Languages, Compilers, Interpreters...”

Read Now

2

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2...

Published 2016

Springer International Publishing

Table of Contents: “... in Why3, Frama-C and SPARK 2014 -- Considering Type-State Verification for Quantified Event Automata...”

Read Now

3

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece,...

Published 2014

Springer Berlin Heidelberg

Table of Contents: “... Tools in Search of C Code Vulnerabilities II (Extended Abstract) -- Construction of Abstract Domains...”

Read Now

4

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings...

Published 2019

Springer International Publishing

Table of Contents: “... for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination...”

Read Now

5

Correct System Design : Recent Insights and Advances

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... -- Compilation -- Verification of Compilers -- Translation Validation: From SIGNAL to C -- Compilation...”

Read Now

6

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

Published 2018

Springer International Publishing

Table of Contents: “... and Programming -- Definition of Modeling vs. Programming Languages -- A Non-unified View of Modelling...”

Read Now

7

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

Published 1996

Springer Berlin Heidelberg

Table of Contents: “... than a Petri Net tool -- Rapid prototyping for an assertional specification language -- cTc — A tool...”

Read Now

8

Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... Model for a Typed Assembly Language -- Rule-Based Runtime Verification -- On the Expressive Power...”

Read Now

9

Leveraging Applications of Formal Methods, Verification, and Validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...

Published 2010

Springer Berlin Heidelberg

Table of Contents: “... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”

Read Now

10

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I...

Published 2012

Springer Berlin Heidelberg

Table of Contents: “...-E Automotive System with the Timing Augmented Description Language.- Formal Analysis of TESLA...”

Read Now

11

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 202...

Published 2020

Springer International Publishing

Table of Contents: “...Behavioural Abstractions for Collective AdaptiveSystems -- Verifying AbC specifications via...”

Narrow Search