Formal Methods in System Design Journal

Research

keywords

• 0802 Computation Theory and Mathematics, 0805 Distributed Computing, 0803 Computer Software

Other

publication venue for

• Template polyhedra and bilinear optimization 2019
• Validating numerical semidefinite programming solvers for polynomial invariants 2018
• From non-preemptive to preemptive scheduling using synchronization synthesis 2017
• Foreword: Special issue on numerical software verification 2009
• Constructing invariants for hybrid systems 2008
• An algorithm for strongly connected component analysis in n log n symbolic steps 2006
• Compositional SCC analysis for language emptiness 2006
• Collecting statistics over runtime executions 2005
• A symbolic algorithm for maximum flow in 0-1 networks 1997
• Algebraic decision diagrams and their applications 1997
• EXTENDED BDDS - TRADING OFF CANONICITY FOR STRUCTURE IN VERIFICATION ALGORITHMS 1994