5:["$","div",null,{"className":"flex flex-col md:flex-row md:justify-between md:gap-4 my-2","children":[["$","div",null,{"className":"w-full md:w-3/4 p-4 bg-white flex flex-col","children":["$","section",null,{"children":[["$","div",null,{"className":"flex flex-row items-center","children":[["$","div",null,{"className":"flex-grow","children":[["$","h1",null,{"className":"text-xl font-bold text-dark-gray","children":"Java Path Finder (JPF)"}],["$","p",null,{"className":"mt-0.5 text-zinc-500 text-md line-clamp-2","children":"JVM formal verification tool containing a model checker and more. Created by NASA."}],["$","div",null,{"className":"flex flex-row text-sm text-zinc-500","children":[["$","span",null,{"className":"inline-flex items-center mr-2","children":[["$","svg",null,{"stroke":"currentColor","fill":"currentColor","strokeWidth":"0","viewBox":"0 0 24 24","children":["$undefined",[["$","path","0",{"d":"M10.3 8.24a.75.75 0 0 1-.04 1.06L7.352 12l2.908 2.7a.75.75 0 1 1-1.02 1.1l-3.5-3.25a.75.75 0 0 1 0-1.1l3.5-3.25a.75.75 0 0 1 1.06.04Zm3.44 1.06a.75.75 0 1 1 1.02-1.1l3.5 3.25a.75.75 0 0 1 0 1.1l-3.5 3.25a.75.75 0 1 1-1.02-1.1l2.908-2.7-2.908-2.7Z","children":[]}],["$","path","1",{"d":"M2 3.75C2 2.784 2.784 2 3.75 2h16.5c.966 0 1.75.784 1.75 1.75v16.5A1.75 1.75 0 0 1 20.25 22H3.75A1.75 1.75 0 0 1 2 20.25Zm1.75-.25a.25.25 0 0 0-.25.25v16.5c0 .138.112.25.25.25h16.5a.25.25 0 0 0 .25-.25V3.75a.25.25 0 0 0-.25-.25Z","children":[]}]]],"className":"$undefined","style":{"color":"$undefined"},"height":"1em","width":"1em","xmlns":"http://www.w3.org/2000/svg"}],["$","span",null,{"className":"ml-1","children":"Java"}]]}],["$","div",null,{"className":"inline-flex items-center hover:text-blue-600 py-2 mr-2","children":[["$","svg",null,{"stroke":"currentColor","fill":"currentColor","strokeWidth":"0","viewBox":"0 0 24 24","className":"mr-1","children":["$undefined",[["$","path","0",{"d":"M14.78 3.653a3.936 3.936 0 1 1 5.567 5.567l-3.627 3.627a3.936 3.936 0 0 1-5.88-.353.75.75 0 0 0-1.18.928 5.436 5.436 0 0 0 8.12.486l3.628-3.628a5.436 5.436 0 1 0-7.688-7.688l-3 3a.75.75 0 0 0 1.06 1.061l3-3Z","children":[]}],["$","path","1",{"d":"M7.28 11.153a3.936 3.936 0 0 1 5.88.353.75.75 0 0 0 1.18-.928 5.436 5.436 0 0 0-8.12-.486L2.592 13.72a5.436 5.436 0 1 0 7.688 7.688l3-3a.75.75 0 1 0-1.06-1.06l-3 3a3.936 3.936 0 0 1-5.567-5.568l3.627-3.627Z","children":[]}]]],"style":{"color":"$undefined"},"height":"1em","width":"1em","xmlns":"http://www.w3.org/2000/svg"}],["$","a",null,{"href":"https://github.com/javapathfinder/jpf-core","target":"_blank","children":"https://github.com/javapathfinder/jpf-core"}]]}]]}]]}],["$","div",null,{"children":["$","a",null,{"href":"https://github.com/javapathfinder/jpf-core","target":"_blank","title":"visit Java Path Finder (JPF)","children":["$","div",null,{"className":"py-4 px-6 rounded border border-solid hover:border-gray-400 flex flex-row items-center justify-center","children":[["$","svg",null,{"stroke":"currentColor","fill":"none","strokeWidth":"0","viewBox":"0 0 24 24","className":"mx-1","children":["$undefined",[["$","path","0",{"d":"M12.0519 14.8285L13.4661 16.2427L17.7087 12L13.4661 7.7574L12.0519 9.17161L13.8803 11H6.34318V13H13.8803L12.0519 14.8285Z","fill":"currentColor","children":[]}],["$","path","1",{"fillRule":"evenodd","clipRule":"evenodd","d":"M1 19C1 21.2091 2.79086 23 5 23H19C21.2091 23 23 21.2091 23 19V5C23 2.79086 21.2091 1 19 1H5C2.79086 1 1 2.79086 1 5V19ZM5 21H19C20.1046 21 21 20.1046 21 19V5C21 3.89543 20.1046 3 19 3H5C3.89543 3 3 3.89543 3 5V19C3 20.1046 3.89543 21 5 21Z","fill":"currentColor","children":[]}]]],"style":{"color":"$undefined"},"height":"1em","width":"1em","xmlns":"http://www.w3.org/2000/svg"}]," Visit"]}]}]}]]}],["$","div",null,{"className":"md:flex-grow mt-2","children":[["$","hr",null,{}],["$","div",null,{"className":"w-full text-gray-600 mt-1 py-2 article-content","dangerouslySetInnerHTML":{"__html":"

Java PathFinder

\n\n

$\"Build$

\n\n

An extensible software model checking framework for Java bytecode programs

\n\n

General Information about JPF

\n\n

All the latest developments, changes, documentation can be found on our\nwiki page.

\n"}}],["$","hr",null,{}]]}],["$","div",null,{"className":"mt-4","children":[["$","h4",null,{"className":"text-lg font-medium text-gray-900","children":"Articles"}],["$","ul",null,{"children":["$","li",null,{"children":"coming soon..."}]}]]}]]}]}],["$","aside",null,{"className":"w-full md:w-1/4 p-2 bg-white","children":"coming soon..."}]]}]