Phase Semantics and Verification of Concurrent Constraint Programs.
François FagesPaul RuetSylvain SolimanPublished in: LICS (1998)
Keyphrases
- concurrent programs
- process algebra
- model checking
- asynchronous circuits
- symbolic execution
- dynamic logic
- stable model semantics
- fixpoint semantics
- programming language constructs
- concurrent systems
- formal semantics
- learning phase
- specification language
- control flow
- model theoretic
- hardware designs
- stable models
- transformation rules
- logic programming
- semantic information
- concurrent programming
- verification method
- linear constraints
- declarative semantics
- formal methods
- face verification
- answer sets
- database languages
- modal logic
- java bytecode
- constraint language
- temporal logic
- database