Titel

Merkliste
1 Ergebnisse

Towards counterexample-guided k-induction for fast bug dete..:

, In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Gadelha, Mikhail R. ; Monteiro, Felipe R. ; Cordeiro, Lucas C.. - p. 765-769 , 2018

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

RT 
T1 <cTitle>Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering</cTitle>: T1 <Title>Towards counterexample-guided k-induction for fast bug detection</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3264840&Exemplar=1&LAN=DE
				
A1 Gadelha, Mikhail R.
A1 Monteiro, Felipe R.
A1 Cordeiro, Lucas C.
A1 Nicole, Denis A.
PB ACM
YR 2018
K1 Bounded Model Checking
K1 Bug detection
K1 Formal Software Verification
K1 k-induction
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Formal software verification
K1 Theory of computation
K1 Logic
K1 Verification by model checking
K1 Hardware
K1 Hardware validation
K1 Post-manufacture validation and debug
K1 Bug detection, localization and diagnosis
SP 765
OP 769
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3236024.3264840
DO https://dl.acm.org/doi/10.1145/3236024.3264840
SF ELIB - SuUB Bremen

Export

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