Work

Fast Formal Analysis of Requirements via "Topoi Diagrams"

Year: 2001

Type: article

Authors: Menzies, Tim, Houle, Michael E., Powell, John, Kelly, John C.

Institutions: University of British Columbia, The University of Sydney, West Virginia High Technology Consortium Foundation, IBM Research - Tokyo, IBM Japan, Ltd. (Japan)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2156761600

FWCI: 4.459

Cites: 35

Cited by: 14

Related to: 10