A three-valued logic for software specification and validation.
Beata KonikowskaAndrzej TarleckiAndrzej BliklePublished in: Fundam. Informaticae (1991)
Keyphrases
- state machine
- nonmonotonic logics
- asynchronous circuits
- software systems
- software design
- requirements specification
- classical logic
- formal specification
- tool suite
- software tools
- modal logic
- software architecture
- logic programming
- computer systems
- formal methods
- linear temporal logic
- control flow
- development process
- active rules
- hardware design
- formal language
- transition systems
- software development
- object oriented
- highly modular
- test case generation
- multi valued
- modeling language
- software maintenance