A Three-Valued Logic for Software Specification and Validation.
Beata KonikowskaAndrzej TarleckiAndrzej BliklePublished in: VDM Europe (1988)
Keyphrases
- asynchronous circuits
- state machine
- formal methods
- nonmonotonic logics
- linear temporal logic
- software tools
- requirements specification
- software architecture
- software systems
- specification language
- computer systems
- software development
- source code
- user interface
- high level
- highly modular
- formal verification
- neural network
- multi valued
- software package
- nonmonotonic reasoning
- software projects
- modal logic
- logic programming
- software engineering
- artificial intelligence