Generating oracles from your favorite temporal logic specifications
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
An efficient verification procedure supporting evolution of reactive system specifications
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
On-the-fly model checking from interval logic specifications
ACM SIGPLAN Notices
The 7th Workshop for PhD Students in Object-Oriented Systems
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
A New One-Pass Tableau Calculus for PLTL
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Improved Automata Generation for Linear Temporal Logic
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
A Deductive Proof System for CTL
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
ConSpec -- A Formal Language for Policy Specification
Electronic Notes in Theoretical Computer Science (ENTCS)
Systematic Semantic Tableaux for PLTL
Electronic Notes in Theoretical Computer Science (ENTCS)
Experience the ways in which ProofBuilder helps students construct proofs: tutorial presentation
Journal of Computing Sciences in Colleges
Experience the ways in which ProofBuilder helps students construct proofs: tutorial presentation
Journal of Computing Sciences in Colleges
ConSpec – A formal language for policy specification
Science of Computer Programming
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
One-pass tableaux for computation tree logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
GOAL extended: towards a research tool for omega automata and temporal logic
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Clausal graph tableaux for hybrid logic with eventualities and difference
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
A transformation from PPTL to S1S
COCOA'10 Proceedings of the 4th international conference on Combinatorial optimization and applications - Volume Part II
A multi-encoding approach for LTL symbolic satisfiability checking
FM'11 Proceedings of the 17th international conference on Formal methods
Efficient monitoring of ω-languages
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Security-by-contract: toward a semantics for digital signatures on mobile code
EuroPKI'07 Proceedings of the 4th European conference on Public Key Infrastructure: theory and practice
GOAL for games, omega-automata, and logics
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Hi-index | 0.00 |