A logic-based calculus of events
New Generation Computing
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model checking large software specifications
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Applications of abduction: knowledge-level modelling
International Journal of Human-Computer Studies
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Formal methods for verification and validation of partial specifications: a case study
Journal of Systems and Software - Special issue on formal methods technology transfer
Specifying the mode logic of a flight guidance system in CoRE and SCR
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Symbolic Model Checking
Software Inspection
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Consistency checking of SCR-style requirements specifications
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
An abductive framework for a-priori verification of web services
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Extracting Requirements from Scenarios with ILP
Inductive Logic Programming
Verification from Declarative Specifications Using Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Early Identification of Problem Interactions: A Tool-Supported Approach
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Configuration management and security
IEEE Journal on Selected Areas in Communications - Special issue on network infrastructure configuration
A formal logic approach to firewall packet filtering analysis and generation
Artificial Intelligence Review
A logic for state-modifying authorization policies
ACM Transactions on Information and System Security (TISSEC)
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Modular-E and the role of elaboration tolerance in solving the qualification problem
Artificial Intelligence
Semi-automatic synthesis of security policies by invariant-guided abduction
FAST'10 Proceedings of the 7th International conference on Formal aspects of security and trust
A verifiable logic-based agent architecture
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
The SOCS computational logic approach to the specification and verification of agent societies
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
A reasoning framework for ambient intelligence
SETN'10 Proceedings of the 6th Hellenic conference on Artificial Intelligence: theories, models and applications
Security protocols verification in abductive logic programming: a case study
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Generating obstacle conditions for requirements completeness
Proceedings of the 34th International Conference on Software Engineering
From inconsistency handling to non-canonical requirements management: A logical perspective
International Journal of Approximate Reasoning
Specifying software features for composition: A tool-supported approach
Computer Networks: The International Journal of Computer and Telecommunications Networking
Hi-index | 0.00 |
We present a logic and logic programming based approach for analysing event-based requirements specifications given in terms of a system's reaction to events and safety properties. The approach uses a variant of Kowalski and Sergot's Event Calculus to represent such specifications declaratively and an abductive reasoning mechanism for analysing safety properties. Given a system description and a safety property, the abductive mechanism is able to identify a complete set of counterexamples (if any exist) of the property in terms of symbolic "current" states and associated event-based transitions. A case study of an automobile cruise control system specified in the SCR framework is used to illustrate our approach. The technique described is implemented using existing tools for abductive logic programming.