বিষয়বস্তু এড়িয়ে যান
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
ভাষা
সমস্ত ক্ষেত্রসমূহ
আখ্যা
লেখক
বিষয়
ডাক সংখ্যা
আইসবিএন/আইএসএসএন
ট্যাগ
অনুসন্ধান
বিস্তৃত
Software Verification for Weak...
সাইট করুন
এই পাঠটি
এই ই-মেইলটি
মুদ্রণ
নথি এক্সপোর্ট করুন
এক্সপোর্ট করুন RefWorks
এক্সপোর্ট করুন EndNoteWeb
এক্সপোর্ট করুন EndNote
স্থায়ী লিঙ্ক
Software Verification for Weak Memory via Program Transformation
অন্যান্য সংস্করণ প্রদর্শন করুন (1)
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:
Alglave, J
,
Kroening, D
,
Nimal, V
,
Tautschnig, M
বিন্যাস:
Conference item
প্রকাশিত:
2013
হোল্ডিংস
বিবরন
অন্যান্য সংস্করণ (1)
অনুরূপ উপাদানগুলি
স্টাফেদের বিবরণ দেখুন
অনুরূপ উপাদানগুলি
Software verification for weak memory via program transformation
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2013)
Soundness of Data Flow Analyses for Weak Memory Models
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2011)
Soundness of data flow analyses for weak memory models
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2011)
Soundness of Data Flow Analyses for Weak Memory Models
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2011)
Making Software Verification Tools Really Work
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2011)
Partial orders for efficient bounded model checking of concurrent software
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2013)
Effective verification for low-level software with competing interrupts
অনুযায়ী: Liang, L, অন্যান্য
প্রকাশিত: (2017)
Don't Sit on the Fence − A Static Analysis Approach to Automatic Fence Insertion
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2014)
Don’t sit on the fence: A static analysis approach to automatic fence insertion
অনুযায়ী: Kroening, D, অন্যান্য
প্রকাশিত: (2017)
Static analyses over weak memory
অনুযায়ী: Nimal, V, অন্যান্য
প্রকাশিত: (2014)
Hardware verification using software analyzers
অনুযায়ী: Mukherjee, R, অন্যান্য
প্রকাশিত: (2015)
Algebraic Techniques in Software Verification : Challenges and Opportunities
অনুযায়ী: Brain, M, অন্যান্য
প্রকাশিত: (2016)
A survey of automated techniques for formal software verification
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2008)
A Survey of Automated Techniques for Formal Software Verification.
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2008)
A Survey of Automated Techniques for Formal Software Verification
অনুযায়ী: D'Silva, V, অন্যান্য
প্রকাশিত: (2008)
Software Verification Using k−Induction
অনুযায়ী: Donaldson, A, অন্যান্য
প্রকাশিত: (2011)
Software verification using k-induction
অনুযায়ী: Donaldson, A, অন্যান্য
প্রকাশিত: (2011)
GPU Concurrency: Weak Behaviours and Programming Assumptions
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2015)
Formal Verification of SystemC by Automatic Hardware/Software Partitioning
অনুযায়ী: Kroening, D, অন্যান্য
প্রকাশিত: (2005)
Unbounded Safety Verification for Hardware Using Software Analyzers
অনুযায়ী: Mukherjee, R, অন্যান্য
প্রকাশিত: (2015)
Accurate Theorem Proving for Program Verification
অনুযায়ী: Cook, B, অন্যান্য
প্রকাশিত: (2006)
A widening approach to multithreaded program verification
অনুযায়ী: Kaiser, A, অন্যান্য
প্রকাশিত: (2014)
Verification and Falsification of Programs with Loops Using Predicate Abstraction
অনুযায়ী: Kroening, D, অন্যান্য
প্রকাশিত: (2009)
Verification and falsification of programs with loops using predicate abstraction.
অনুযায়ী: Kroening, D, অন্যান্য
প্রকাশিত: (2010)
Formal techniques for effective co-verification of hardware/software co-designs
অনুযায়ী: Mukherjee, R, অন্যান্য
প্রকাশিত: (2017)
Verification of Boolean Programs with Unbounded Thread Creation
অনুযায়ী: Cook, B, অন্যান্য
প্রকাশিত: (2007)
Verification of Boolean programs with unbounded thread creation.
অনুযায়ী: Cook, B, অন্যান্য
প্রকাশিত: (2007)
Cogent: Accurate theorem proving for program verification
অনুযায়ী: Cook, B, অন্যান্য
প্রকাশিত: (2005)
Hardware Verification using ANSI−C Programs as a Reference
অনুযায়ী: Clarke, E, অন্যান্য
প্রকাশিত: (2003)
Hardware verification using ANSI-C programs as a reference
অনুযায়ী: Clarke, E, অন্যান্য
প্রকাশিত: (2003)
Formal co−validation of low−level hardware/software interfaces
অনুযায়ী: Horn, A, অন্যান্য
প্রকাশিত: (2013)
ExpliSAT: Guiding SAT−Based Software Verification with Explicit States
অনুযায়ী: Barner, S, অন্যান্য
প্রকাশিত: (2007)
CBMC – C bounded model checker
অনুযায়ী: Kroening, D, অন্যান্য
প্রকাশিত: (2014)
On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
অনুযায়ী: Horn, A, অন্যান্য
প্রকাশিত: (2015)
On partial order semantics for SAT/SMT-based symbolic encodings of weak memory concurrency
অনুযায়ী: Horn, A, অন্যান্য
প্রকাশিত: (2015)
Formal Co-Validation of Low-Level Hardware/Software Interfaces
অনুযায়ী: Horn, A, অন্যান্য
প্রকাশিত: (2013)
Interpolation−based verification of floating−point programs with abstract CDCL
অনুযায়ী: Brain, M, অন্যান্য
প্রকাশিত: (2013)
Interpolation-based verification of floating-point programs with abstract CDCL
অনুযায়ী: Brain, M, অন্যান্য
প্রকাশিত: (2013)
Instantiating uninterpreted functional units and memory system: functional verification of the VAMP processor
অনুযায়ী: Beyer, S, অন্যান্য
প্রকাশিত: (2003)
Monotonicity in shared-memory program verification
অনুযায়ী: Kaiser, A
প্রকাশিত: (2013)
প্রাকদর্শন
পরবর্তী
অনুরূপ উপাদানগুলি
Software verification for weak memory via program transformation
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2013)
Soundness of Data Flow Analyses for Weak Memory Models
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2011)
Soundness of data flow analyses for weak memory models
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2011)
Soundness of Data Flow Analyses for Weak Memory Models
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2011)
Making Software Verification Tools Really Work
অনুযায়ী: Alglave, J, অন্যান্য
প্রকাশিত: (2011)