Vacuity in practice: temporal antecedent failure
From MaRDI portal
Publication:2018060
DOI10.1007/S10703-014-0221-0zbMATH Open1322.68132OpenAlexW2019065032MaRDI QIDQ2018060FDOQ2018060
Authors: Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah 
Publication date: 24 March 2015
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-014-0221-0
Recommendations
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- THE ABSTRACT THEORY OF AUTOMATA
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Sanity Checks in Formal Verification
- Enhanced vacuity detection in linear temporal logic.
- Efficient detection of vacuity in temporal model checking
- Title not available (Why is that?)
- SAT-Based Model Checking without Unrolling
- Title not available (Why is that?)
- On the Notion of Vacuous Truth
- Lattice Automata
- Before and after vacuity
- Beyond vacuity: towards the strongest passing formula
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal Methods in Computer-Aided Design
- Correct Hardware Design and Verification Methods
- Coverage metrics for temporal logic model checking
- Formal Methods in Computer-Aided Design
- From regular expressions to deterministic automata
- Embedding finite automata within regular expressions
- Vacuity checking in the modal mu-calculus
- Hardware and Software, Verification and Testing
- Title not available (Why is that?)
- Formal Methods in Computer-Aided Design
Cited In (5)
Uses Software
This page was built for publication: Vacuity in practice: temporal antecedent failure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2018060)
