Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A Theory of Restrictions for Logics and Automata
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Decision Procedure for an Extension of WS1S
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Relativizations for the Logic-Automata Connection
Higher-Order and Symbolic Computation
FOCS '05 Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science
Type inference for unique pattern matching
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logical definability and query languages over ranked and unranked trees
ACM Transactions on Computational Logic (TOCL)
Reasoning about online algorithms with weighted automata
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
Automated deduction for verification
ACM Computing Surveys (CSUR)
Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall
Computational Logic in Multi-Agent Systems
Reasoning about online algorithms with weighted automata
ACM Transactions on Algorithms (TALG)
The weakness of self-complementation
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
On verifying fault tolerance of distributed protocols
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
Synthesis of trigger properties
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
The model checking problem for prefix classes of second-order logic: a survey
Fields of logic and computation
Safraless compositional synthesis
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Complementation constructions for nondeterministic automata on infinite words
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Verification of tree updates for optimization
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
A BDD-Like implementation of an automata package
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
Recent challenges and ideas in temporal synthesis
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Science of Computer Programming
Verified decision procedures for MSO on words based on derivatives of regular expressions
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Verification and enforcement of access control policies
Formal Methods in System Design
Hi-index | 0.00 |