CAVA LTL Modelchecker
From MaRDI portal
Software:40544
swMATH28830MaRDI QIDQ40544FDOQ40544
Author name not available (Why is that?)
Cited In (16)
- CoCon: a conference management system with formally verified document confidentiality
- Formal verification of an executable LTL model checker with partial order reduction
- Refinement to imperative HOL
- Efficient verified (UN)SAT certificate checking
- A graph library for Isabelle
- Certifying proofs for SAT-based model checking
- Optimising the ProB model checker for B using partial order reduction
- CoSMed: a confidentiality-verified social media platform
- Formally verified algorithms for upper-bounding state space diameters
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
- From LCF to Isabelle/HOL
- CoSMed: A Confidentiality-Verified Social Media Platform
- From LTL to deterministic automata. A safraless compositional approach
- Automatic refinement to efficient data structures: a comparison of two approaches
- Markov chains and Markov decision processes in Isabelle/HOL
- Comprehending Isabelle/HOL’s Consistency
This page was built for software: CAVA LTL Modelchecker
