Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Bibliografiske detaljer
Andre forfattere:	Giacobazzi
Format:	Electronisk eBog
Sprog:	English
Udgivet:	Springer Berlin Heidelberg, 2013
Udgivelse:	1
Fag:	Electronic books
Online adgang:	Full text available on Springer Off-campus access

Lignende værker

Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation

Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation

Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation

Model Checking Software
Udgivet: (2013)

Reality Check
af: Linse

Tiger Check
af: Fino

Abstracts and the writing of abstracts /
af: Swales, John M., 1938-
Udgivet: (2009)

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software

How to Check Integrity of Fiscal Data /
af: Khemani, Pokar
Udgivet: (2016)

Proceedings of the 8th international SPIN workshop on Model checking of software

Money for Nothing and Checks for Free : Recent Developments in U.S. Subprime Mortgage Markets /
af: Mills, Paul
Udgivet: (2007)

Defending Checks and Balances in EU Member States
Udgivet: (2021)

Democratic consolidation in Bangladesh: a reality check
af: Zakaria, Sultan Mohammed
Udgivet: (2018)

Delayed submitting of check list for concreting work
af: Brac University
Udgivet: (2023)

Business location recommendation using check-in data
af: Ahmed, Nasim Uddin, et al.
Udgivet: (2018)

Runtime Verification
Udgivet: (2013)

Runtime Verification
Udgivet: (2013)

Hebrew Abstracts

Refugee Abstracts

Dental Abstracts

Dental Abstracts

Abstract Algebra
af: David S. Dummit and Richard M. Foote

Abstract Algebra
af: Israel Nathan

Interpretations
af: Dougherty

Interpretation
af: Wolters

Interpretations

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software

Check Point Software Technologies Ltd SWOT Analysis

DocCheck AG MarketLine Company Profile

European Information Society: A Reality Check 2003

Bangla grammar and spelling check using machine learning
af: Ahmed, Foysal, et al.
Udgivet: (2023)

Modeling, Simulation, and Verification of Space-based Systems II

2010 Workshop on Model-Driven Engineering, Verification, and Validation

Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation

Modeling, Simulation, and Verification of Space-based Systems III

Papers of the Symposium on Interpreters and interpretive techniques

Computer Aided Verification
Udgivet: (2013)

Computer Aided Verification
Udgivet: (2019)

Computer Aided Verification
Udgivet: (2019)

Computer Aided Verification
Udgivet: (2020)