guarded-continuation-checker-0.30.0
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

guarded-continuation-checker 0.30.0

Proof-carrying bounded verification for embedded firmware and RTL, powered by CQ-SAT

Crate
Source
Builds
Feature flags

..
aiger_obligation.rs
btor2.rs
btor2_bounded.rs
btor2_braking.rs
btor2_component.rs
btor2_invariant_chain.rs
btor2_motion.rs
btor2_phase.rs
btor2_predicate_set.rs
btor2_region.rs
btor2_search.rs
composed_witness.rs
controller_mtbdd.rs
controller_mtbdd_proof.rs
controller_plant.rs
controller_plant_aiger.rs
controller_plant_artifact.rs
controller_transducer.rs
dense_relation.rs
lib.rs
main.rs
observed_allocator.rs
qatq_transport.rs
revision_batch.rs
revision_impact.rs
revision_local.rs
source_model_attestation.rs
unsat_proof.rs