en de en pt is is cs is is is is is is is lt is is is is is is en is en is cs is is is it nb is is pl is is is is is et is is is nb is is is is is is is ceb is is is is is is is is nl is hbs_lat is is is is is it sv is ru fr en is is fr is ca is nb is ro cs is fr is lt is is is is en is is is is is is is nb is is de da hbs_lat is nb is is cs is is is de is is es nb en sk is is de is is is is tr is is is nb en en et en en nn en is is nb is is sv en cs is hbs_lat hbs_lat vi is is is cs da cs is hu es is fi nb is en is es is en is is is nb cs is is is ceb is en ceb nb is is is is ga is is is is ca es is is is is uz is hbs_lat is is is is sq is en is is pl is is uz is cs en is en en is is is is is is is en sv de sv en en en en en en en fr en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en en is is is is is is is is is is is is is is is is en eo is en pl en pl is en pl is en pl is is is is is is is cs sk is de is en is is pt is
Háskóli Íslands, Háskólinn á Akureyri, Háskólinn á Bifröst
Íslenska Hugvísindi og tungumál Tölvu- og stærðfræði Viðskipti og hagfræði Raunvísindi Félagsvísindi Heilsugreinar Verkfræði Aðrar greinar Háskólabækur
Leikjatölvur, Playstation 4, Playstation 3
Íslensk tónlist, Erlend tónlist, Vínylplötur
0-3 ára, 3-5 ára, 6-8 ára
Klassískar bókmenntir, Almenn skáldverk, Ástarsögur og erótík
Ást og Erótík, Grín og gaman, Handavinna
Ray-Ban, Michael Kors, Emilio Pucci
Vítamín og fæðubótarefni, Heilsuvörur, Brúsar
Borðbúnaður, Pottar og pönnur, Eldhúsáhöld
Gjafabréf, Myndir og veggskraut, Kerti og kertastjakar
Caffitaly hylki, Nespresso hylki, Te
Áhöld fyrir bílþvottinn, Bón og hreinsivörur, Efni og vökvar
Útilegu- og útivistarvörur, Útivistarföt, Sjónaukar
Hjálmar og hlífar, Hlaupahjól og bretti, Barnareiðhjól
Lego Bionicle, Lego City, Lego Creator
Kaffivélar, Brauðristar, Heilsu og samlokugrill
Hefðbundnar Rafhlöður, Sér rafhlöður
Harðir diskar & Minnislyklar
Pappírsvörur, Ritföng og aðrar smávörur, Skjalavarsla
Íslensk tónlist, Erlend tónlist, Vínylplötur
Heimkaup Námsbækur Háskólabækur Háskólinn í Reykjavík Tölvunarfræði- deild Vor 2017 Reactive Systems
Námskeið T-707 Modeling and Verification. - Útgáfa: 1 - Höfundur: Luca Aceto
Setja á óskalistann minn
T-707 Modeling and Verification.
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e. g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used.
Milner's CCS and its operational semantics are introduced, together with notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout.
Hægt að prenta út 5 bls.
Hægt að afrita 5 bls.
Part I A Classic Theory of Reactive Systems
Aims of this book
1.1 What are reactive systems?
2 The language CCS
2.1 Some CCS process constructions
2.1.1 The behaviour of processes
2.2.1 The model of labelled transition systems
2.2.2 The formal syntax and semantics of CCS
3.1 Criteria for good behavioural equivalence
3.2 Trace equivalence: a first attempt
3.5 Game characterization of bisimilarity
3.5.1 Weak bisimulation games
3.6 Further results on equivalence checking
4 Theory of fixed points and bisimulation equivalence
4.1 Posets and complete lattices
4.2 Tarski?s fixed point theorem
4.3 Bisimulation as a fixed point
5.1 Introduction to Hennessy?Milner logic
6 Hennessy?Milner logic with recursive definitions
6.1 Examples of recursive properties
6.2 Syntax and semantics of HML with recursion
6.3 Largest fixed points and invariant properties
6.4 A game characterization for HML with recursion
6.4.1 Examples of use
6.5 Mutually recursive equational systems
6.7 Mixing largest and least fixed points
6.8 Further results on model checking
7 Modelling and analysis of mutual exclusion algorithms
7.1 Specifying mutual exclusion in HML
7.2 Specifying mutual exclusion using CCS itself
7.3 Testing mutual exclusion
Part II A Theory of Real-time Systems
8.1 Real-time reactive systems
9 CCS with time delays
9.2 Timed labelled transition systems
9.3 Syntax and SOS rules of timed CCS
9.5 Other timed process algebras and discussion
10.2 Syntax of timed automata
10.3 Semantics of timed automata
10.4 Networks of timed automata
10.5 More on timed-automata formalisms
11 Timed behavioural equivalences
11.1 Timed and untimed trace equivalence
11.2 Timed and untimed bisimilarity
11.3 Weak timed bisimilarity
11.5 Zones and reachability graphs
11.6 Further results on timed equivalences
12 Hennessy?Milner logic with time
12.2 Hennessy?Milner logic with time and regions
12.3 Timed bisimilarity versus HML with time
12.4 Recursion in HML with time
12.4.1 Characteristic properties for timed bisimilarity
12.4.2 Examples of real-time temporal properties
12.5 More on timed logics
13 Modelling and analysis of Fischer?s algorithm
13.1 Mutual exclusion using timing
13.2 Modelling Fischer?s algorithm
13.2.1 Proving mutual exclusion using UPPAAL
13.2.2 An erroneous version of Fischer?s algorithm
13.3 Further exercises on timing-based mutual exclusion algorithms
Appendix A Suggestions for student projects
A.3 Implementation of regions
UM RAFBÆKUR Á HEIMKAUP.IS
Bókahillan þín er þitt svæði og þar eru bækurnar þínar geymdar. Þú kemst í bókahilluna þína hvar og hvenær sem er í tölvu eða snjalltæki. Einfalt og þægilegt!
Þú kemst í bækurnar hvar sem er
Þú getur nálgast allar raf(skóla)bækurnar þínar á einu augabragði, hvar og hvenær sem er í bókahillunni þinni. Engin taska, enginn kyndill og ekkert vesen (hvað þá yfirvigt).
Auðvelt að fletta og leita
Þú getur flakkað milli síðna og kafla eins og þér hentar best og farið beint í ákveðna kafla úr efnisyfirlitinu. Í leitinni finnur þú orð, kafla eða síður í einum smelli.
Þú getur auðkennt textabrot með mismunandi litum og skrifað glósur að vild í rafbókina. Þú getur jafnvel séð glósur og yfirstrikanir hjá bekkjarsystkinum og kennara ef þeir leyfa það. Allt á einum stað.
Hvað viltu sjá? / Þú ræður hvernig síðan lítur út
Þú lagar síðuna að þínum þörfum. Stækkaðu eða minnkaðu myndir og texta með multi-level zoom til að sjá síðuna eins og þér hentar best í þínu námi.
- Þú getur prentað síður úr bókinni (innan þeirra marka sem útgefandinn setur)
- Möguleiki á tengingu við annað stafrænt og gagnvirkt efni, svo sem myndbönd eða spurningar úr efninu
- Auðvelt að afrita og líma efni/texta fyrir t.d. heimaverkefni eða ritgerðir
- Styður tækni sem hjálpar nemendum með sjón- eða heyrnarskerðingu
Þú gætir haft áhuga á
Principles of Big Data
Umsagnir. Aðeins kaupendur geta gefið umsögn um vöru.
Allt um að versla
Greiðsluleiðir Spurt og svarað Sendingarkostnaður
Upplýsingar um mig Mínar pantanir Innskráning Útskráning Taka símanúmer af SMS lista
Gjafainnpökkun Skrá á póstlista Ábyrgð Skilmálar
Um Heimkaup.is Hafa samband Afgreiðslutímar og staðsetning Störf í boði
Sendum um allt land
Símanúmer: 550 2700 Netfang: samband@heimkaup.is Opnunartími í Smáratorgi 3, Kópavogi er Mán. - fös. 11:00 - 18:30 og Lau. 11:00 - 14:00. Við keyrum út samdægurs alla daga vikunnar. Copyright © 2017 Heimkaup