Cargando…

Decidability of parameterized verification

Detalles Bibliográficos
Autores principales:	Bloem, Roderick, Jacobs, Swen, Khalimov, Ayrat, Konnov, Igor
Lenguaje:	eng
Publicado:	Morgan & Claypool Publ. 2015
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2123667

Ejemplares similares

Tutorial: Parameterized Verification with Byzantine Model Checker
por: Konnov, Igor, et al.
Publicado: (2020)

Parameterized Verification of Systems with Global Synchronization and Guards
por: Jaber, Nouraldin, et al.
Publicado: (2020)

Program construction and verification
por: Backhouse, Roland Carl
Publicado: (1986)

Modelling and verification of secure exams
por: Giustolisi, Rosario
Publicado: (2018)

Biometric Technologies and Verification Systems
por: Vacca, John R
Publicado: (2007)

Formal Verification of Neural Networks
por: Sommart, Thanapong
Publicado: (2023)

New developments in program verification
por: Wolper, P
Publicado: (1991)

String analysis for software verification and security
por: Bultan, Tevfik, et al.
Publicado: (2018)

Verification techniques for system-level design
por: Fujita, Masahiro, et al.
Publicado: (2008)

Scientific computing with automatic result verification
por: Adams, Ernst, et al.
Publicado: (1992)

Implementation and verification of distributed control systems
por: Gerber, Christian
Publicado: (2011)

Writing testbenches: functional verification of HDL models
por: Bergeron, Janick
Publicado: (2003)

A formal notation for hardware and software verification
por: Chapman, R, et al.
Publicado: (1986)

Electronic design automation: synthesis, verification, and test
por: Wang, Laung-Terng, et al.
Publicado: (2009)

Verification for Digital Designs training course at Europractice
Publicado: (2017)

Specification of temporal properties of functions for runtime verification
por: Dawes, Joshua Heneage, et al.
Publicado: (2019)

SystemVerilog assertions handbook: for dynamic and formal verification
por: Cohen, Ben, et al.
Publicado: (2016)

Facial kinship verification: a machine learning approach
por: Yan, Haibin, et al.
Publicado: (2017)

Formal system verification: state-of the-art and future trends
por: Drechsler, Rolf
Publicado: (2017)

Translation of PLC Programs to x86 for Simulation and Verification
por: Sallai, Gyula
Publicado: (2017)

FASTBUS slave diagnostic software ans system verification
por: Story, C M
Publicado: (1985)

BCS-FACS Workshop on Specificiation and Verification of Concurrent Systems
por: Rattray, Charles
Publicado: (1990)

Systems and Software Verification: Model-Checking Techniques and Tools
por: Bérard, B, et al.
Publicado: (2001)

Validation and verification of Geant4 standard electromagnetic physics
por: Apostolakis, J, et al.
Publicado: (2010)

Co-verification of hardware and software for ARM SoC design
por: Andrews, Jason
Publicado: (2004)

Eurographics Workshop on Design, Specification and Verification of Interactive Systems '97
por: Harrison, M D, et al.
Publicado: (1997)

2nd International Workshop on Protocol Specification, Testing and Verification
por: Sunshine, Carl A
Publicado: (1982)

3rd International Workshop on Protocol Specification, Testing and Verification
por: Rudin, Harry, et al.
Publicado: (1983)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
por: Yoeli, Michael, et al.
Publicado: (2008)

Systemverilog for verification: a guide to learning the testbench language features
por: Spear, Chris, et al.
Publicado: (2012)

Autonomic networking-on-chip: bio-inspired specification, development, and verification
por: Cong-Vinh, Phan
Publicado: (2011)

Verification of communication protocols in web services: model-checking service compositions
por: Tari, Zahir, et al.
Publicado: (2014)

The UVM primer: a step-by-step introduction to the Universal Verification Methodology
por: Salemi, Ray
Publicado: (2013)

4th IFIP International Workshop on Protocol Specification, Testing and Verification
por: Strom, Robert G, et al.
Publicado: (1985)

5th IFIP International Workshop on Protocol Specification, Testing and Verification
por: Díaz, Michel
Publicado: (1986)

8th IFIP International Symposium on Protocol Specification, Testing and Verification
por: Agarwal, Sudhir, et al.
Publicado: (1988)

SystemVerilog for Verification: A Guide to Learning the Testbench Language Features
por: Spear, Chris
Publicado: (2008)

Formal verification of floating-point hardware design: a mathematical approach
por: Russinoff, David M, et al.
Publicado: (2018)

Para[Formula: see text] : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
por: Konnov, Igor, et al.
Publicado: (2017)

Structural Invariants for the Verification of Systems with Parameterized Architectures
por: Bozga, Marius, et al.
Publicado: (2020)

Cannot write session to /tmp/vufind_sessions/sess_qtpou1tnfdofcsoupq4f1t5c7f