Paper Info
Title
Extending ITL with Interleaved Programs for Interactive Verification
Abstract
The talk presents extensions of ITL that make it a powerful logic to reason about interleaved programs with recursive procedures. The extensions have been implemented in the interactive theorem prover KIV.
Year
DOI
Venue
2011
10.1109/TIME.2011.31
TIME
Keywords
Field
DocType
interleaved program,extending itl,recursive procedure,interactive theorem prover,interactive verification,powerful logic,interleaved programs,semantics,calculus,interval temporal logic,artificial intelligence,temporal logic,theorem proving,hardware,concurrency,cognition
Programming language,Interval temporal logic,Concurrency,Computer science,Automated theorem proving,Theoretical computer science,Software,Temporal logic,Recursion,Semantics,Proof assistant
Conference
Citations 
PageRank 
References 
0
0.34
1
Authors
1
Name
Order
Citations
PageRank
Gerhard Schellhorn176956.43