Advances in Software Specification and Verification - Minitrack Introduction.
Ann E. Kelley SobelRichard C. LingerPublished in: HICSS (2001)
Keyphrases
- formal verification
- formal methods
- asynchronous circuits
- model checking
- artificial intelligence
- software maintenance
- protocol specification
- high level
- tool suite
- source code
- software development
- recent advances
- neural network
- control flow
- software tools
- software engineering
- modeling language
- colored petri nets
- reactive systems
- computer systems
- technological advances
- software systems
- real time
- software projects
- requirements specification
- software platform
- commercial software
- computer software
- recent developments
- specification language
- software architecture
- face verification
- software design
- conceptual model