Analysis of a scheduler for a CAD framework

Authors:
David S. Keyes;Laura K. Dillon;Moon Jung Chung
Affiliations:
Picker International, Inc. World Headquarters, 595 Miner Road, Cleveland, OH;Department of Computer Science & Engineering, 3115 Engineering Building, Michigan State University, East Lansing, MI;Department of Computer Science & Engineering, 3115 Engineering Building, Michigan State University, East Lansing, MI
Venue:
Proceedings of the 21st international conference on Software engineering
Year:
1999

Communicating sequential processes

Communicating sequential processes
Using integer programming to verify general safety and liveness properties

Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
Model checking software systems: a case study

SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector

IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Guarded commands, nondeterminacy and formal derivation of programs

Communications of the ACM
LOTOSphere: Software Development with Lotos

LOTOSphere: Software Development with Lotos
A Formal Approach to Managing Design Processes

Computer
State-Based Model Checking of Event-Driven System Requirements

IEEE Transactions on Software Engineering
Finite-state analysis of SSL 3.0

SSYM'98 Proceedings of the 7th conference on USENIX Security Symposium - Volume 7

Hi-index	0.00