Consistency checking in requirements analysis

No abstract is available for this paper.

• Publication year

  2017

• Venue

  International Symposium on Software Testing and Analysis

• Publication date

  2017-07-10

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/3092703.3098239
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Checking

  2018cited by this paper
• Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation

  2016cited by this paper
• Tunable Online MUS/MSS Enumeration

  2016cited by this paper
• Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau

  2016cited by this paper
• Spot 2 . 0 — a framework for LTL and ω-automata manipulation

  2016cited by this paper
• Analysing sanity of requirements for avionics systems

  2016cited by this paper
• Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis

  2016cited by this paper
• Fast, flexible MUS enumeration

  2015cited by this paper
• SAT-Based Explicit LTL Reasoning

  2015cited by this paper
• Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores

  2014cited by this paper
• DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs

  2013cited by this paper
• Towards a notion of unsatisfiable and unrealizable cores for LTL

  2012cited by this paper
• MUSer2: An Efficient MUS Extractor

  2012cited by this paper
• Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs

  2012cited by this paper
• Checking Sanity of Software Requirements

  2012cited by this paper
• Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages

  2011cited by this paper
• A Multi-encoding Approach for LTL Symbolic Satisfiability Checking

  2011cited by this paper
• Evaluating LTL Satisfiability Solvers

  2011cited by this paper
• Software engineering and formal methods

  2008cited by this paper
• Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization

  2005cited by this paper
• NuSMV 2: An OpenSource Tool for Symbolic Model Checking

  2002cited by this paper
• Efficient Detection of Vacuity in Temporal Model Checking

  2001cited by this paper
• Model Cheking

  1997cited by this paper
• Temporal Logic of Programs

  1987cited by this paper

• A Reduction of Input/Output Logics to SAT

  2025cites this paper
• Suhail the Guiding Star: A Sustainable Chatbot for Saudi Arabia Culture

  2025cites this paper
• Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements

  2025cites this paper
• Requirements Engineering Model (REM): An Assessment Model for Software Vendor Organizations

  2025cites this paper
• An ASP-Based Framework for MUSes

  2025cites this paper
• Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking

  2024cites this paper
• Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

  2023cites this paper
• Hashing-based approximate counting of minimal unsatisfiable subsets

  2023cites this paper
• Counting Maximal Satisfiable Subsets

  2021cites this paper
• Inductive Validity Cores

  2021cites this paper
• Timed Automata Relaxation for Reachability

  2021cites this paper
• Timed Automata Robustness Analysis via Model Checking

  2021cites this paper
• MUST: Minimal Unsatisfiable Subsets Enumeration Tool

  2020cites this paper
• Approximate Counting of Minimal Unsatisfiable Subsets

  2020cites this paper
• Rotation Based MSS/MCS Enumeration ∗

  2020cites this paper
• Better Development of Safety Critical Systems: Chinese High Speed Railway System Development Experience Report

  2019cites this paper
• Model-Driven approach to Integrate Requirements for Safety-Critical Systems

  2019cites this paper
• Property specification patterns at work: verification and inconsistency explanation

  2019cites this paper
• Recursive Online Enumeration of All Minimal Unsatisfiable Subsets

  2017cites this paper