Titel

Merkliste
1 Ergebnisse

VeriCon : towards verifying controller programs in softw..:

, In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Ball, Thomas ; Bjørner, Nikolaj ; Gember, Aaron... - p. 282-293 , 2014

Link: https://dl.acm.org/doi/10.1145/2594291.2594317

RT 
T1 <cTitle>Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation</cTitle>: T1 <Title>VeriCon				: towards verifying controller programs in software-defined networks</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2594317&Exemplar=1&LAN=DE
				
A1 Ball, Thomas
A1 Bjørner, Nikolaj
A1 Gember, Aaron
A1 Itzhaky, Shachar
A1 Karbyshev, Aleksandr
A1 Sagiv, Mooly
A1 Schapira, Michael
A1 Valadarsky, Asaf
PB ACM
YR 2014
K1 Hoare-style verification
K1 software-defined networks
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Formal software verification
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Correctness
K1 Theory of computation
K1 Semantics and reasoning
K1 Program reasoning
K1 Invariants
K1 Logic
K1 Proof theory
K1 Program verification
SP 282
OP 293
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2594291.2594317
DO https://dl.acm.org/doi/10.1145/2594291.2594317
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)