Journal of the ACM (JACM)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
First-Order Dynamic Logic
On the temporal analysis of fairness
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
"Sometime" is sometimes "not never": on the temporal logic of programs
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 6th Colloquium, on Automata, Languages and Programming
Modal Logic of Concurrent Nondeterministic Programs
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
The Temporal Semantics of Concurrent Programs
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
A practical decision method for propositional dynamic logic (Preliminary Report)
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Second-order mathematical theory of computation
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Decidability and expressiveness of logics of processes
Decidability and expressiveness of logics of processes
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Reasoning about fair concurrent programs
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
Automatic Verification of Sequential Circuits Using Temporal Logic
IEEE Transactions on Computers
Improved upper and lower bounds for modal logics of programs
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
A logic for reasoning about security
ACM Transactions on Computer Systems (TOCS)
Hyperdocuments as automata: trace-based browsing property verification
ECHT '92 Proceedings of the ACM conference on Hypertext
Journal of the ACM (JACM)
Time-extraction for temporal logic-logic programming and local process time
Journal of Computer and System Sciences
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Proving specifications of tasking systems using Ada/TL
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
A model and temporal proof system for networks of processes
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Specification and verification of learning
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
An infinite hierarchy of temporal logics over branching time
Information and Computation
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
"Sometimes" and "not never" revisited: on branching versus linear time (preliminary report)
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modular verification of concurrent programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Expressive Power of Temporal Logics
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
The complexity of propositional linear temporal logics
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Decision procedures and expressiveness in the temporal logic of branching time
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
A temporal logic for reasoning about partially ordered computations (Extended Abstract)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Automata theoretic techniques for modal logics of programs: (Extended abstract)
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Computational linguistics research at the University of Pennsylvania
Computational Linguistics
A modal temporal logic for reasoning about change
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
The logic of distributed protocols: preliminary report
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
A Compositional Automata-based Approach for Model Checking Multi-Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling, verification, and implementation of PLC program using timed-MPSG
Proceedings of the 2007 Summer Computer Simulation Conference
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
Arity hierarchy for temporal logics
Theoretical Computer Science
The Beginning of Model Checking: A Personal Perspective
25 Years of Model Checking
25 Years of Model Checking
DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
25 Years of Model Checking
SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR
25 Years of Model Checking
Towards the automated verification of semi-structured documents
Data & Knowledge Engineering
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability
Electronic Notes in Theoretical Computer Science (ENTCS)
Varieties of user misconceptions: detection and correction
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
One-pass tableaux for computation tree logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Verification of epistemic properties in probabilistic multi-agent systems
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Engineering high confidence medical device software
ACM SIGBED Review - Special Issue on the 2nd Joint Workshop on High Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP) Interoperability
GoldMine: automatic assertion generation using data mining and static analysis
Proceedings of the Conference on Design, Automation and Test in Europe
Compliance by design for artifact-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
Model checking dataflow for malicious input
WESS '11 Proceedings of the Workshop on Embedded Systems Security
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
Concurrency, Compositionality, and Correctness
A framework for formal verification of compiler optimizations
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Survey: Linear Temporal Logic Symbolic Model Checking
Computer Science Review
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
A resolution calculus for the branching-time temporal logic CTL
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
A temporal language and system are presented which are based on branching time structure. By the introduction of symmetrically dual sets of temporal operators, it is possible to discuss properties which hold either along one path or along all paths. Consequently it is possible to express in this system all the properties that were previously expressible in linear time or branching time systems. We present an exponential decision procedure for satisfiability in the language based on tableaux methods, and a complete deduction system. As associated temporal semantics is illustrated for both structured and graph representation of programs.