J. M. Atlee and J. Gannon. State-based model checking of event-driven systems requirements. IEEE Transactions on Software Engineering, 19(1):24--40, Jan. 1993. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Specifying and Analyzing Early Requirements: Some.. - Fuxman, Liu.. (2003) (1 citation) (Correct)
Guest Editorial: Special Issue on Model Checking in.. - Easterbrook, Chechik (Correct)
Multi-Valued Symbolic Model-Checking: Fairness.. - Gurfinkel (2003) (Correct)
An Abductive Approach for Analysing Event-Based.. - Russo, Miller.. (2002) (2 citations) (Correct)
Automated Consistency Checking of Requirements Specifications - Heitmeyer, Jeffords, Labaw (1996) (94 citations) (Correct)
Events in Linear-Time Properties - Paun, Chechik (1999) (2 citations) (Correct)
Generic Components For State Machines - Weidl (Correct)
Automated Paraconsistent Reasoning via Model Checking - Easterbrook, Chechik (2001) (Correct)
A Framework for Multi-Valued Reasoning over Inconsistent.. - Easterbrook, Chechik (2001) (9 citations) (Correct)
Automatic Generation of Interactive Systems from Declarative.. - Stirewalt (1997) (3 citations) (Correct)
A Component-Based Approach to Building Formal Analysis Tools - Stirewalt, Dillon (6 citations) (Correct)
An Abductive Approach for Analysing Event-Based.. - Russo, Miller.. (2001) (2 citations) (Correct)
A Probabilistic Approach to Automatic Verification.. - Tronci, Penna.. (Correct)
A Framework for Multi-Notation, Model-Oriented Requirements Analysis - Day (Correct)
Failure Analysis of an E-commerce Protocol using Model.. - Indrakshi Ray Indrajit (2005) (8 citations) (Correct)
Using the B-Toolkit to Ensure Safety in SCR Specifications - Ray, Ammann (Correct)
An Algorithm for Strengthening State Invariants Generated.. - Jeffords, Heitmeyer (2001) (1 citation) (Correct)
Multiple Dimensions of Integrating Development Technology - Cheng (Correct)
Assume-Guarantee Model Checking of Software: A Comparative .. - Pasareanu, Dwyer, Huth (1999) (10 citations) (Correct)
External Model and SYNCCHARTS Description of an.. - Bayart, M.. (1998) (Correct)
A Library for Composite Symbolic Representations - Yavuz-Kahveci, Tuncer, Bultan (Correct)
Combining Constraint Solving and Symbolic Model Checking.. - William Chan Richard (1997) (18 citations) (Correct)
Criteria for Generating Specification-based Tests - Offutt, Xiong, Liu (1999) (12 citations) (Correct)
A Framework for Multi-Valued Reasoning over Inconsistent.. - Easterbrook, Chechik (2001) (9 citations) (Correct)
Interaction Object Graphs: An Executable Graphical Notation for.. - Carr (1997) (2 citations) (Correct)
Integration in PVS: Tables, Types, and Model Checking - Owre, al. (1997) (1 citation) (Correct)
Requirements Engineering and Verification using.. - Hazel, Strooper, Traynor (1998) (5 citations) (Correct)
NIMBUS: A Framework for Static Analysis and Simulation of.. - Thompson (1999) (Correct)
NIMBUS: A Framework for Static Analysis and Simulation of.. - Thompson (1999) (Correct)
A Case Study in Software Safety Assurance Using Formal.. - Atchison, Lindsay, Tombs (1999) (3 citations) (Correct)
POSSUM: An Animator for the SUM Specification Language - Hazel, Strooper, Traynor (1997) (4 citations) (Correct)
Model Checking Complete Requirements Specifications Using.. - Bharadwaj, Heitmeyer (1999) (25 citations) (Correct)
Formal Specification: a Roadmap - van Lamsweerde (2000) (2 citations) (Correct)
Assume-Guarantee Model Checking of Software: A Comparative .. - Pasareanu, Dwyer, Huth (1999) (10 citations) (Correct)
Action Language: A Specification Language for Model.. - Tevfik Bultan Department (2000) (1 citation) (Correct)
Candidate Model Problems in Software Architecture - Mary Shaw David (1994) (10 citations) (Correct)
Finding Mode Invariants in SCR Specifications - Jin (1995) (Correct)
Specifying and Analyzing Early Requirements: Some.. - Fuxman, Liu.. (2003) (1 citation) (Correct)
Specifying and Analyzing Early Requirements in Tropos - Fuxman, Liu, Mylopoulos.. (2003) (Correct)
Specifying and Analyzing Early Requirements: Some.. - Ariel Fuxman Lin (2003) (Correct)
Assume-guarantee Verification of Source Code with.. - Giannakopoulou.. (2004) (1 citation) (Correct)
Verifying Time Partitioning in the DEOS Scheduling Kernel - Penix, Visser, Park, al. (2004) (Correct)
Deriving Tabular Event-Based Specifications from.. - De Landtsheer.. (2003) (1 citation) (Correct)
Assume-guarantee Verification of Source Code with.. - Giannakopoulou.. (2004) (1 citation) (Correct)
Hyperdocuments as Automata: - Verification Of Trace-Based (Correct)
Automated Consistency Checking of Requirements Specifications - Heitmeyer, Jeffords, Labaw (1996) (94 citations) (Correct)
Incremental CTL Model Checker for Fair States - Shen (1999) (Correct)
A Specification-Based Coverage Metric To Evaluate Test Sets - Ammann, al. (1999) (5 citations) (Correct)
State-Based Model Checking of Event-Driven System Requirements - Joanne Atlee University (1993) (89 citations) Self-citation (Atlee Gannon) (Correct)
Using Model Checking to Analyze Requirements and Designs - Atlee, Chechik, Gannon (1996) (1 citation) Self-citation (Atlee Gannon) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC