Cargando…

Formal system verification: state-of the-art and future trends

Detalles Bibliográficos
Autor principal:	Drechsler, Rolf
Lenguaje:	eng
Publicado:	Springer 2017
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2297635

Ejemplares similares

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

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

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

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

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

Machine learning for health informatics: state-of-the-art and future challenges
por: Holzinger, Andreas
Publicado: (2016)

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

Minicomputer systems, state of the art report
por: CERN. Geneva
Publicado: (1977)

Algebraic formalization of smart systems: theory and practice
por: Serdyukova, Natalia, et al.
Publicado: (2018)

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

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

The automatic analysis of formal real-time system specifications
por: Quirk, W J
Publicado: (1978)

Introduction to formal grammars
por: Gross, Maurice, et al.
Publicado: (1970)

Quality-Driven SystemC Design
por: Grosse, Daniel, et al.
Publicado: (2010)

IFIP Working Conference on Theoretical and Formal Aspects of Information Systems
por: Bubenko, Janis, et al.
Publicado: (1985)

An introduction to formal languages and automata
por: Linz, Peter
Publicado: (2017)

Formal languages and automata theory
por: Sunitha, K V N, et al.
Publicado: (2015)

Formal models, languages and applications
por: Subramanian, K G, et al.
Publicado: (2006)

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)

A formal development and validation methodology applied to agent- based systems
por: Di Marzo-Serugendo, G
Publicado: (2001)

Automatentheorie und formale Sprachen
por: Hotz, Günter, et al.
Publicado: (1968)

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

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

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

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

Formal languages and computation : models and their applications
por: Meduna, Alexander
Publicado: (2014)

Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems
por: Darvas, Daniel
Publicado: (2017)

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
por: Boldo, Sylvie, et al.
Publicado: (2017)

IFIP Working Conference on Formal Models and Practical Tools for Information Systems Design
por: Schneider, H J
Publicado: (1979)

Seminar on Future Trends in Computing Architectures
por: Collective
Publicado: (1991)

State of the art in digital media and applications
por: Earnshaw, Rae
Publicado: (2017)

The state of the art in intrusion prevention and detection
por: Pathan, Al-Sakib Khan
Publicado: (2013)

Eurographics '96 : State of the art reports
por: Institut National de Recherche en Informatique et Automatique. Le Chesnay
Publicado: (1996)

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

The handbook of formal methods in human-computer interaction
por: Weyers, Benjamin, et al.
Publicado: (2017)

Introduction to automata theory, formal languages and computation
por: Kandar, Shyamalendu
Publicado: (2013)

Picture languages: formal models for picture recognition
por: Rosenfeld, Azriel
Publicado: (1979)

Interdisciplinary Conference in the Formal Aspects of Cognitive Processes
por: Storer, Thomas, et al.
Publicado: (1975)

Cannot write session to /tmp/vufind_sessions/sess_4tnvv34gth09nob67qa9mrsqf7