Specifying and Verifying Systems with Multiple Clocks

Specifying and Verifying Systems with Multiple Clocks

Показати інші версії (1)

Бібліографічні деталі
Автори:	Clarke, E, Kroening, D, Yorav, K
Формат:	Conference item
Опубліковано:	IEEE 2003

Схожі ресурси

Specifying and verifying systems with multiple clocks
за авторством: Clarke, E, та інші
Опубліковано: (2003)

The use of B to specify‚ design and verify hardware
за авторством: Ifill, W, та інші
Опубліковано: (2001)

Specifying and Verifying the Parlay Call−Control Using ASMs
за авторством: Falcarin, P, та інші
Опубліковано: (2003)

Using B to Specify‚ Verify and Design Hardware Circuits
за авторством: Sørensen, I
Опубліковано: (1998)

Kronos : verifying leak-free reset for a system-on-chip with multiple clock domains
за авторством: Moroze, Noah(Noah F.)
Опубліковано: (2021)

A framework for specifying and formally verifying application security policies
за авторством: Shao, Christopher,M. Eng.Massachusetts Institute of Technology.
Опубліковано: (2019)

Verifying Digital Systems with MATLAB
за авторством: Chaves, L, та інші
Опубліковано: (2017)

Verifying digital systems with MATLAB
за авторством: Chaves, L, та інші
Опубліковано: (2017)

Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
за авторством: Kroening, D, та інші
Опубліковано: (2003)

Verified software: theories, tools and experiments.
за авторством: Kroening, D, та інші
Опубліковано: (2010)

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
за авторством: Jain, H, та інші
Опубліковано: (2008)

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
за авторством: Jain, H, та інші
Опубліковано: (2005)

Word level predicate abstraction and refinement for verifying RTL verilog
за авторством: Jain, H, та інші
Опубліковано: (2005)

Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.
за авторством: Jain, H, та інші
Опубліковано: (2008)

Verifying multi-threaded software with impact
за авторством: Wachter, B, та інші
Опубліковано: (2013)

Verifying Multi−threaded Software with Impact
за авторством: Wachter, B, та інші
Опубліковано: (2013)

Verifiable coded computation of multiple functions
за авторством: Kim, Wilton, та інші
Опубліковано: (2024)

Predicate Abstraction of ANSI–C Programs using SAT
за авторством: Clarke, E, та інші
Опубліковано: (2015)

Predicate Abstraction of ANSI-C Programs Using SAT.
за авторством: Clarke, E, та інші
Опубліковано: (2004)

SATABS: SAT−based Predicate Abstraction for ANSI−C
за авторством: Clarke, E, та інші
Опубліковано: (2005)

Predicate Abstraction of ANSI-C Programs Using SAT
за авторством: Clarke, E, та інші
Опубліковано: (2004)

Specifying Processes
за авторством: Abramsky, S, та інші
Опубліковано: (1997)

Verifying C++ with STL Containers via Predicate Abstraction
за авторством: Blanc, N, та інші
Опубліковано: (2007)

Towards verifiable and safe model-free reinforcement learning
за авторством: Hasanbeig, M, та інші
Опубліковано: (2020)

Verifying C++ with STL containers via predicate abstraction
за авторством: Blanc, N, та інші
Опубліковано: (2007)

Techniques for low jitter clock multiplication
за авторством: Helal, Belal M., 1971-
Опубліковано: (2009)

Specifying Interaction Categories
за авторством: Pavlovic, D, та інші
Опубліковано: (1997)

Specifying crash safety for storage systems
за авторством: Chen, Haogang, та інші
Опубліковано: (2021)

Word-level predicate-abstraction and refinement rechniques for verifying RTL Verilog
за авторством: Jain, H, та інші
Опубліковано: (2008)

Specifying and Implementing Refactorings
за авторством: Schäfer, M, та інші
Опубліковано: (2010)

Producing concrete with specified quality /
за авторством: 352435 Brewer, William E.

Verifying concurrent systems by approximation
за авторством: Antonino, P
Опубліковано: (2018)

Specifying and Proving Properties of Guardians for Distributed Systems
за авторством: Hewitt, Carl, та інші
Опубліковано: (2004)

Specifying and Proving Properties of Guardians for Distributed Systems
за авторством: Hewitt, Carl, та інші
Опубліковано: (2008)

Moving heads to specifiers: Evidence from Mandarin multiple pre-subject modals
за авторством: Lai, Jackie Yan-Ki, та інші
Опубліковано: (2024)

JBMC: a bounded model checking tool for verifying Java bytecode
за авторством: Cordeiro, L, та інші
Опубліковано: (2018)

Edit and Verify
за авторством: Grigore, R, та інші
Опубліковано: (2007)

On the clock of the combinatorial clock auction
за авторством: Janssen, M, та інші
Опубліковано: (2019)

Specifying secure transport layers
за авторством: Dilloway, C, та інші
Опубліковано: (2008)

The promises and pitfalls of specifying situatedness
за авторством: Greenhough, B
Опубліковано: (2019)