• No results found

VladislavsJahundoviˇcs AutomaticVerificationofParameterizedSystemsbyOver-Approximation

N/A
N/A
Protected

Academic year: 2021

Share "VladislavsJahundoviˇcs AutomaticVerificationofParameterizedSystemsbyOver-Approximation"

Copied!
1
0
0

Loading.... (view fulltext now)

Full text

(1)

Link¨oping Studies in Science and Technology Licentiate Thesis No. 1732

Automatic Verification of

Parameterized Systems by

Over-Approximation

by

Vladislavs Jahundoviˇ

cs

Department of Computer and Information Science Link¨oping University

SE-581 83 Link¨oping, Sweden

Link¨oping 2015

Vladislavs Jahundovičs

Automatic Verication of Parameterized Systems by Over-Approximation

References

Related documents

Lärande i miljö för hållbar utveckling med naturvetenskaplig utgångspunkt En longitudinell studie i grundskolans tidigare årskurser?.

Link¨oping Studies in Science and Technology Licentiate Thesis

Link¨ oping Studies in Science and Technology Licentiate Thesis

The mechanism of the coupling between the mass and charge transfer in electrochemical systems, and particularly in conductive polymer based system, is highly

Here, environmental technology refers to technologies (products, services, organizational models, and large-scaled technical systems) whose development and use

For routing in IC-MANETs we have developed a beacon-less delay-tolerant geographic routing protocol named LAROD (location aware routing for delay-tolerant networks) and

SAA , intracheally injected with both 1) 4 million alveolar macrophages loaded with commercial BaSO4 contrast agent for CT or 2) 2 million alveolar macrophages loaded with GdNP as

Link¨ oping Studies in Science and Technology Thesis No... Link¨ oping Studies in Science and Technology