Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP).
Sarat Chandra VaranasiJoaquín AriasElmer SalazarFang LiKinjal BasuGopal GuptaPublished in: PADL (2022)
Keyphrases
- real time systems
- event calculus
- real time
- reasoning about actions and change
- distributed systems
- situation calculus
- reasoning tasks
- temporal reasoning
- partially ordered
- model checking
- domain specific knowledge
- transitive closure
- embedded systems
- deductive databases
- domain independent
- first order logic
- query language