Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Steve Roach
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications
Advances in Software Engineering
An Abstract Class Loader for the SSP and Its Implementation in TL.
Related publications
Model Checking Large Software Specifications
ACM SIGSOFT Software Engineering Notes
Checking Strong Specifications Using an Extensible Software Model Checking Framework
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Specifications of Software Model Evolution Using Contracts
Formal Consistency Checking Over Specifications in Natural Languages
Model Checking RAISE Applicative Specifications
CSCW for Preparing Formal Software Specifications: Issues and Implementation
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Model Checking Value-Passing Modal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Test Selection for Object-Oriented Software Based on Formal Specifications
