Cargando…

New developments in program verification

Detalles Bibliográficos
Autor principal:	Wolper, P
Lenguaje:	eng
Publicado:	CERN 1991
Materias:	Computing and Computers
Acceso en línea:	https://dx.doi.org/10.5170/CERN-1991-005.91 http://cds.cern.ch/record/340277

Ejemplares similares

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

Bringing Automated Formal Verification to PLC Program Development
por: Fernández Adiego, Borja
Publicado: (2015)

Aspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for Testbench Developers
por: Robinson, David
Publicado: (2007)

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

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

Decidability of parameterized verification
por: Bloem, Roderick, et al.
Publicado: (2015)

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)

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)

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)

Verification of electromagnetic physics models for parallel computing architectures in the GeantV project
por: Amadio, G, et al.
Publicado: (2017)

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)

The program development process
por: Aron, Joel D
Publicado: (1983)

Cannot write session to /tmp/vufind_sessions/sess_4necdpfli7uv6sp2a5dicn4leo