Improvements to the Implementation of Interpolant-Based Model Checking

Lecture Notes in Computer Science - Germany
doi 10.1007/11560548_33
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Improvements and Implementation of Hierarchical Clustering Based on Hadoop

2015English

On-The-Fly Model Checking of Security Protocols and Its Implementation by Maude

IPSJ Digital Courier
2007English

Some Improvements to the Spherical Collapse Model

Astronomy and Astrophysics
AstrophysicsAstronomyPlanetary ScienceSpace
2006English

Bringing LTL Model Checking to Biologists

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Model Checking

1997English

State-Based Model Checking of Event-Driven System Requirements

IEEE Transactions on Software Engineering
Software
1993English

Ontology Based Semantics Checking for UML Activity Model

Information Technology Journal
2012English

Model Checking With SAT-Based Characterization of ACTL Formulas

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Automatic Generation of Model Checking Scripts Based on Environment Modeling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy