Scalable Techniques for Formal Verification :: SCD d'Orléans

Scalable Techniques for Formal Verification

Scalable Techniques for Formal Verification

This book is about formal veri?cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure t...

保存先:

書誌詳細
第一著者:	Ray, Sandip, 1954-
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	New York, NY : Springer US 2010. Cham : Springer Nature
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Scalable Techniques for Formal Verification, Texte imprimé, 9781441959973 • Scalable Techniques for Formal Verification, Texte imprimé, 9781441960061 • Scalable Techniques for Formal Verification, Texte imprimé, 9781489984449

類似資料

Scalable Hardware Verification with Symbolic Simulation
著者:: Bertacco, Valeria
出版事項: (2006)

Formal Verification in Automated Manufacturing
著者:: Tang, Yiheng
出版事項: (2025)

Formal hardware verification : methods and systems in comparison
著者:: Kropf, Thomas, 1961-

A Roadmap for Formal Property Verification
著者:: DasGupta, Pallab
出版事項: (2006)

Symbolic Simulation Methods for Industrial Formal Verification
著者:: Jones, Robert B.

Formal verification of trusted layers of software : application to the TPM Software Stack
著者:: Ziani, Yani, 1995-
出版事項: (2025)

Devenir scalable
著者:: Lien, Marianne Elisabeth
出版事項: (2025)

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
著者:: Omri, Fouad ben Nasr
出版事項: (2021)

Scalable Interactive Visualization
著者:: Gunther H. Weber (Ed.), 等
出版事項: (2021)

Scalable stellar evolution forecasting
著者:: K. Maltsev, 等
出版事項: (2024)

Scalable VoIP Mobility : Integration and Deployment
著者:: Epstein, Joseph

Scalable Multi-core Architectures : Design Methodologies and Tools
著者:: Soudris, Dimitrios, 1964-
出版事項: (2012)

Scalable optimization via probabilistic modeling

Scalable infrastructure for distributed sensor networks
著者:: Chakrabarty, Krishnendu, 等

Scalable Data Management for Future Hardware
出版事項: (2025)

Compiler optimizations for scalable parallel systems : languages, compilation techniques, and run time systems
著者:: Santosh, Pande

Computer-Aided Verification : A Special Issue of Formal Methods In System Design on Computer-Aided Verification

Energy scalable radio design : for pulsed UWB communication and ranging
著者:: Verhelst, Marian, 19..-, 等

A Survey of verification techniques for parallel programs
著者:: Barringer, Howard, 1951-

Étalonnage et vérification des thermomètres Techniques d'étalonnage
出版事項: (2012)

La vérification
著者:: Granger, Gilles-Gaston, 1920-2016
出版事項: (1991)

La Vérification
著者:: Granger, Gilles-Gaston, 1920-2016
出版事項: (2022)

Verification by Error Modeling : Using Testing Techniques in Hardware Verification
著者:: Radecka, Katarzyna, 等

Scalable Android Applications in Kotlin : Write and maintain large Android application code bases
著者:: Bennett, Myles
出版事項: (2024)

Scalable Ontological EAI and e-Business Integration
著者:: Lemcke, Jens
出版事項: (2021)

Vérification de logiciels : techniques et outils du model-checking
著者:: Bérard, Béatrice, 19..-...., professeure en informatique, 等
出版事項: (1999)

Scalable Uncertainty Management : 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings
著者:: Liu, Weiru

Verification Plans : The Five-Day Verification Strategy for Modern Hardware Verification Languages
著者:: James, Peet

Scalable Test Automation with Playwright : Build frameworks that scale and move beyond quick starts to enterprise-grade automation
著者:: Uppadhyay, Raj
出版事項: (2026)

Professional Verification : A Guide to Advanced Functional Verification
著者:: Wilcox, Paul

Scalable Multicasting over Next-Generation Internet : Design, Analysis and Applications
著者:: Tian, Xiaohua, 等
出版事項: (2013)

System-on-a-Chip Verification : Methodology and Techniques
著者:: Rashinkar, Prakash, 1960, 等

Scalable Application Development with NestJS : Leverage REST, GraphQL, microservices, testing, and deployment for seamless growth
著者:: Linjanja, Pacifique
出版事項: (2025)

Formalisme.
出版事項: (2017)

Formal Semantics and Proof Techniques for Optimizing VHDL Models
著者:: Umamageswaran, Kothanda, 等

Formal Techniques in Real-Time and Fault-Tolerant Systems

Rethinking the Internet of Things: A Scalable Approach to Connecting Everything
著者:: Francis daCosta, 等
出版事項: (2021)

Logic Synthesis and Verification

Standardized Functional Verification
著者:: Wiemann, Alan
出版事項: (2008)

Compiler specification and verification
著者:: Polak, Wolfgang, 1950-

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales