A Specification Logic for Exceptions and Beyond.
Cristian GherghinaCristina DavidPublished in: ATVA (2010)
Keyphrases
- asynchronous circuits
- linear temporal logic
- transition systems
- state machine
- formal language
- active rules
- logic programming
- operational semantics
- classical logic
- model checking
- multi valued
- learning algorithm
- computational properties
- specification language
- linear logic
- digital circuits
- automated reasoning
- temporal logic
- conceptual model
- integrity constraints
- high level
- web services
- artificial intelligence