Applications of Craig Interpolants in Model Checking

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-31980-1_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Efficient Model Checking of Networked Applications

Lecture Notes in Business Information Processing
ControlSystems EngineeringInformation SystemsBusinessInternational ManagementSimulationManagementManagement Information SystemsModeling
2008English

Model Checking

1997English

Differentiation Based on Optimal Local Spline Quasi-Interpolants With Applications

2010English

On the Use of Probabilistic Model-Checking for the Verification of Prognostics Applications

2015English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Regression Model Checking

2009English

Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock

2010English

Counterexamples in Probabilistic Model Checking

English

Induction in Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy